六个等价命题