>>25
足し算と掛け算の定義できるところなら、どこでも出来る。単に式の変形である。