मान लीजिए r ,फील्ड एक्सटेंशन की डिग्री के बराबर है क्योंकि F एक फाईनाईट फील्ड है , एक्सटेंशन की डिग्री इनफाईनाईट नहीं हो सकती | यह केवल F की विमा है Z मॉड pZ मॉड्यूल के रूप में, p Z मॉड p Z वेक्टर स्पेस , निश्चित रूप से इनफाईनाईट नहीं हो सकता; क्योंकि F स्वयं फाईनाईट है , निश्चित रूप से एक बेसिस है जो बहुत से एलिमेंट्स को कंटेन करता है , अतः वह फाईनाईट है |
ஏன் இருக்காது, ஃபை இன்ஜெக்ட்டிவ்வாக இருந்தால், Z, F உள்ளே இருக்கும், Z இன்ஃபைனட்டாக இருப்பதால் Fம் இன்ஃபைனட்டாக இருக்கும், எனவே F ஃபைனட்டாக இருப்பதால் ஃபை இன்ஜெக்ட்டிவ்வாக இருக்காது.