1 2代表：
肆意一个大于4的偶数能写成一个量数(1)加上两个量数的乘积(2)；
所以末极目标是证明1 1：
肆意一个大于4的偶数能写成一个量数(1)加上另一个量数(1)；
0
1 2代表：
肆意一个大于4的偶数能写成一个量数(1)加上两个量数的乘积(2)；
所以末极目标是证明1 1：
肆意一个大于4的偶数能写成一个量数(1)加上另一个量数(1)；