If one only proves a = b by showing a ≤ b and b ≤ a, one has not understood the true reason that a = b.