>>504
=は同値関係じゃなかった…?