「a-b=b-aのときa-bは対称式である」なんて解釈をしたら、ここでなくてもトンデモ解釈扱いだと思う。