証明なんかやっても意味ねぇよ
応用ができない数学者のオナニーだろ