実数は乗法に関してアーベル群になっているから