坎迪定理的等价命题