1. 四点顺时针 ABCD
2. 连线AC, rotate AC 为平行于y轴，A上C下。
3. 则中垂线为x轴。
4. 当x 为 -infty，角AxC=0。 x=0, AxC=180. x=+infy, AxC=360
5. x 和 AxC 为连续的 one to one mapping
6. 对于任何B，D。（不一定在x轴上，不过B的x值<0. D的 x 值>0)找x， 是的AxC=360-2ABC， 由于B，D 互补。得AxC=2ADC.
7. QED