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