f_equalをcongrにする。