引理1：
一个完全对称的偶数N（>4）原始集合，依次同时划去若干组关于N/2的【对称元素】后，剩余元素仍然关于N/2对称。
.
证明：
由题设，偶数 N > 4，区间（0，N）内的所有元素必然构成下列关于N/2完全对称的原始集合：
(1, N-1), (2, N-2), (3, N-3), (4, N-4), (5, N-5), ..., [ N/2, (N-N/2=) N/2 ]
设区间（0，N）内的自然数元素n满足：1 ≤ n ≤ N/2
易知：原始集合中的第n组数对（n，N-n）中的两个元素关于N/2对称分布，
各个【数对】的对称中心值都满足 [ n + (N-n) ] / 2 = N/2，具有普遍性质。
即知：依次同时划去若干组关于N/2的【对称元素】后，剩余元素仍然关于N/2对称分布。
由于N>4为任意偶数，推知引理1具有普适性。
证毕。
引理2：设任意偶数N>4，素数p<√N；
依次同时筛掉区间(0, N)内所有素数p的倍数np及其关于N/2对称的元素N-np后，
剩余元素具有下列性质：
（1）剩余元素都是素数（或包含1）。
（2）剩余元素都关于N/2对称分布。
（3）剩余元素都位于区间(√N, N-√N)内。
.
证明：根据不超过偶数N的所有合数C，均满足最小素因子p<√N、8楼的引理1，
以及 n >= 1，按照题设操作方法实施后，
区间 (0, √N)&(N-√N, N) 内的所有自然数（或1&N-1除外）被筛掉。
区间(0, N) 内的所有合数 np 及其关于N/2对称分布的自然数 N-np ，全部被筛掉。
即知：引理2所列的筛后剩余元素三条性质成立。