まさか同値のものを片側しか成立してないと看做して
同値を利用するというようなことを考えてねえだろうなｗ