本当の証明が完成したら、そのショックで大勢が脱力感に堕ちて
リーマンショックと言われるのかもしれないと思う。