定理、証明の形式すらなっていないw