a = b :⇔ a ≤ b ∧ b ≤ a
現在オフラインです。