>>485によって方程式1/x=0…①には解が存在し,そのうちの1つはx=∞である.このとき,除算の定義より0×∞=1が成立する.
ここでx=∞は方程式2/x=0の解でもある(実際,①の両辺を2倍すればよい)ので,除算の定義より0×∞=2が成立する.

以上より1=2が示された.