祝桐敏锐地发现，对于一个素数对p和q，设他们的积pq=S，那么。如果哥德巴赫猜想是成立的，那么对于一个偶数k=p+q，至少存在一个S=pq。
而k=+y，用图形表示则是一条斜向右下的直线。而S=y，则是这条直线上一点，和X轴Y轴构成的矩形的面积。
由于p和q都是素数，那么S=pq这个矩形，除了边长为的情况，剩下的则只有边长为别为p和q的情况。
也就是说，只要证明在任何一条k=+y的直线上，都能找出符合条件的S矩形，就能证明哥德巴赫猜想！
那么，S有什么性质呢？就是上面所说的：S只能表示为pq，也就是说，他的形状是固定的！
形状固定，意味着什么呢？
形状固定意味着：在p=不等于q时，S只能有两种情况：长为p高为q，或者长为q高为p，这两个矩形，是关于Y=X这条直线对称的！
如此一致的对称性，让祝桐直接就想到了群论中最基础的一个思想：同构！
同构，本来是群论中用来描述代数结构的对称性的。
祝桐将它用在了几何中，用来描述几何图形的对称性！
既然有了同构的概念，由同构衍生出的域的概念，自然也能推广到平面几何中！
比如说，全体有理数构成一个域。
全体的有理数加上a倍的根号，也构成一个域，因为这个新的数集满足域的定义：对加减乘除运算封闭。
下面就是祝桐显现天才的时候了！
既然在代数结构中，把满足加减乘除的数集定义为域，那么在几何图形中，是否可以找到类似的定义？
他大胆地定义了一个平面几何上的域的概念：祝氏域！
只要一个图形集合，在左右移动整数单位或上下移动整数个单位后所得的图形仍然在这个集合中，那么这个图形集合就称为一个祝氏域！
很显然，按照这