>>380
全同値ってのは何に使うの?