用特征函数证明一些定理
용특정함수증명일사정리
Prove Some Axiomcec With the Charartprictir Functinn