数学上,这三条性质可以互相导出(1→2,3 | 3→1,2 | 2不可单独):