>>795の論理を援用すると、
1=2と仮定する。すると、1=2である。したがって1=2である。