Prove A Set Is A Field