Fundamental theorem of linear algebra