そんな事言うたら全ての等式は自明だから証明する必要ないことになってしまうやん