>>78
足し算の定義を満たしているから足し算だ