>>358
明らかな命題は証明の必要ないよね