509:证明T(2 / 3)