>>400

>>1で使ってるのは同値関係じゃないの?なんなら教科書的な=も同値関係だけど?