厳密さは時代の関数だから間違いなく正しいことが「分かっていれば」
証明なんてどうでも良いんですよ