明確に同値であることを示す場合でないなら⇔は使わず⇒を使うかな