>>112
x=y ⇒ y=x が使ってよい規則にはいっていない。