「唐突かどうかは問題ではなく、矛盾を導ける操作であるかどうかだけが重要なのだ」
という観点に立つと、>>57でいきなり0を掛ける理由も明らかである。つまり、

「そういう操作を考えると矛盾が示せるから」

というのが、いきなり0を掛ける理由である
唐突かどうかは問題ではない
0y＝0を考えることで矛盾が示せるから、こういう操作を考えているのだ