数学者だから難しい計算をして証明しようとしてんだろうけど、そんなことはみんな知ってますよ