コンピュータによる証明検証が行われると
根本的な破綻とギャップだらけで何も残らなくなる人、
続出しそうだね・・・笑