hana-banach定理

1.  x1不是X除开G以外所有的空间

2.如果极大元不是全空间的话，根据前面的讨论，还可以延拓，这就和极大矛盾了