(mazur swindle)とも呼ばれることもある「無限の構成」を用いる別証明もある。