Category:Zero of Subfield is Zero of Field