>>477
高校数学では証明できる性質を公理として与えているので
公理としては過剰ということでしょうか?