- ku të gjitha konstantet , nuk janë të barabarta me zero. Kur në këtë identitet zëvendësohen shprehjet për dhe grupohen kufizat sipas panjohurave , përftohet:
- .
- Nga ky identitet del ky sistem i ekuacioneve homogjene:
- Në p. 5.6. kemi konstatuar se sistemi i tillë (kur ) ka vetëm zgjidhje triviale: , sepse përcaktorët karakteristikë të tij janë të barabartë me zero ). Meqenëse ky rezultat është në kundërshtim me supozimin se të gjitha konstantet nuk janë të barabarta me zero, andaj konkludojmë se në bashkësinë e formave lineare , ekzistojnë nga to të cilat janë linearisht të pavarura.
- Tani duhet të vërtetojmë se format tjera lineare janë kombinime lineare homogjene prej formave të pavarura. Le të bëjmë këtë për formën lineare . Për të provuar këtë duhet të vërtetojmë se përcaktori i rendit :
- është i barabartë me zero. Kur në shtyllën e fundit të këtij përcaktori zëvendësohen me shprehjet përkatëse, ai mund të paraqitet si shuma e këtyre përcaktorëve:
|