>702
示したい主張の仮定をそのまま仮定するときとか省略することもありますが、それなら、x,yは自然数なんですか？
それとも数ということだから、四元数とか八元数でも良いということですか？

四元数、八元数とは、どういう数でしょうか？