証明の途中で間違った式が出てくることが問題というなら、たとえば、

∀x∈ℤ(xは4の倍数⇒xは2の倍数)

の証明も、x = 1, 2, 3などの場合も証明しているわけなので、問題ということになる。