Twierdzenie Kroneckiego Capellego

[greatfit]

Chodzi mi o ten fragment założeń

Dla r=s<n, zbiór rozwiązań zależy od n-r, parametrów i tworzy rozmaitość liniową wymiaru n-r,. Jeśli przy tym układ jest jednorodny, to zbiór tych rozwiązań tworzy n-r wymiarową podprzestrzeń przestrzeni n-wymiarowej. Dla ciał nieskończonych zbiory rozwiązań są nieskończone.

Czy chodzi o to, że jeżeli niewiadomych w pierwotnym równaniu jest więcej niż wynosi rząd macierzy (macierzy rozszerzonej?) to jest nieskończenie wiele rozwiązań, czy symbol s oznacza tu co innego ?

[miodzio1988]

No w tym twierdzeniu masz napisane czym jest \(\displaystyle{ s}\)