下らん。０＝０は常に正しい。
一方通行の変形で同値変形でないから、結果の真から
前提の真が言えないだけだ。