ライツアウトの数理． 最後に残された，証明のためだけに必要だった多項式 については， を へ自然に伸ばせば決められる，という報告．これで， と置いて良くなった． もう，証明すべきことはない．この話は終結． drive.google.com