リュービルによる証明は
位数が最小になる表現から出発して
それが1下げられることを示して矛盾を導くものであると
金子本には書かれている。
「できない」を「不可能」にバージョンアップするというコメントは
秀逸