Линейная алгебра, Ершов А.В., лекция 12, 19.04.2023