坎迪定理证明过程