⇒と同じことだが、if and only if を考えるようにする。