区別出来るならそもそもそれは真の意味で=では繋げないわな
A=Aのトートロジーだけが正しい式でそれ以外は誤りな気もする
不可識別者同一原理や