>>27
⇔は同値を表す
命題として考えると解りやすい