应为u != a, u != b, v != a, v != b 而非x != a, x != b, y != a, y != b