K की डेफिनेशन याद रखिए के Xq - X के रूट्स का सेट है तो फिर वह सारे एलिमेंट जो L में है और Xq - X को सेटिस्फाई करते हैं वह सभी K में हैं।
Kன் வரையறையை நினைத்துப் பாருங்கள். K என்பது X பவர் q மைனஸ் X ன் ரூட்களின் தொகுப்பாகும். Lன் எந்த ஒரு எல்மெண்டும் X பவர் q மைனஸ் Xயை திருப்திபடுத்தும். எனவே இது, Kல் இருக்கும்.