>>7
そう
数学者が何を証明しようと意味がない