α=log210\alpha=\log_2 10α=log210、β=log510\beta=\log_5 10β=log510 とおく。これらは無理数であり、1/log210=log1021/\log_2 10=\log_{10}21/log210=log102、1/log510=log1051/\log_5 10=\log_{10}51/log510=log105 だから 1/α+1/β=11/\alpha+1/\beta=11/α+1/β=1 を満たす。