>>77
数学の証明として完全に正しいのですから、それが刊行物になり、共通consensusに
ならないといけない

>>78
どうマクロを他の言語に翻訳してそれが金になるのでしょうか