坎迪定理最简证法