How To Prove Something Is A Field