形式的にA=BかつA=CだがB≠Cが成り立つことはあるけどな