证明一个域f是它自己的商域