>いつのまにかxなどが0でないという条件が消えています。
証明の中で使っていなかったから忘れたのでしょうね。

比では、0は使いません。（中等教育では）