मान लीजिए कि हमने ऐसा कर लिया है यदि K आर्डर q का फील्ड है मुझे यह भी दिखाना होगा कि इस का आर्डर q है।
K എന്നത് ഓർഡർ q ന്റെ ഒരു ഫീൽഡാണെങ്കിൽ നമ്മൾ ചെയ്തുവെന്ന് പറയാം. അതിന് q ഓർഡർ ഉണ്ടെന്ന് കാണിക്കേണ്ടതുണ്ട്.