坎迪定理推导过程