print("\nMinory główne wiodące:") for k, val in minory_glowne_wiodace(A).items(): print(f"Stopień {k} → {val}")

Twierdzenia dotyczące macierzy m x n Z definicji minorów wynika, że

Tw. 1:

minorami stopnia danej macierzy są jej elementy; macierz ma ich , minorem głównym wiodącym stopnia jest element o indeksie , minorami głównymi stopnia są elementy głównej przekątnej macierzy; macierz ma ich .

Tw. 2 Macierz rzędu ma co najmniej jeden niezerowy minor stopnia zaś każdy minor stopnia wyższego .

Tw. 3 W macierzy można wybrać minorów stopnia , gdzie oznacza symbol Newtona.