どうせ、前提になる定義にいちゃもんがつくだけだから証明しなくていいよ。