0557132人目の素数さん垢版 | 大砲2018/04/21(土) 18:35:05.49ID:vvK/zpgn 「最小の証明を書けなくても戦え数」はラヨ数と同じくらいっぽいし、書けるほうもだいたい同じじゃないかね、 証明に使う式を対角化しても>>556の理屈で結局定義文の対角化と同じだと思う