Maksymalny liniowo niezależny układ skończony