四种等价命题