Definition:Proper Subfield