前提が成り立たなくても、成り立つとして別の式を証明みたいなのって
数学的にかなり矛盾が生まれないんですか？