509:证明T(3 / 3)