現象を同値関係で置き換えたらほぼ正しい。