＞「(1)が整数解を持つならば日高の証明は正しい」の裏は
「(1)が整数解を持たないならば日高の証明は間違い」となることから

どうして、そうなるのでしょうか？