>396
x:yが整数比とならない場合のみを対象としている。
x:yが整数比の場合は，数式で一般的に処理する方法は【証明】には記載されていない。

この理解で正しいでしょうか？

はい。