>20
>他に解釈のしようがありません。

「1≠7となるので、」と書けば良いのでしょうか?