val it : α → α = fun

なりました。

立方数になるチャンスはまだ残されていますが、ふつうに考えると完全数はおそらくこれで最後でしょう。よく生きたいと思います。