足し算の公理は(a+b)+c=a+(b+c)だっけ?(´・ω・`)