自明じゃないな
証明するとなると数行かかる