>>556
有理数が互いに素な２整数の商として表せない場合があるのか？
それがなければ、証明漏れはないわけだ。