Был система баштағы система (1) өҫтөндә элементар үҙгәртеүҙәр ярҙамында алынғанлыҡтан, элементар үҙгәртеүҙәрҙә эквивалентлыҡ тураһында теорема буйынса (1) һәм (2) системалар эквивалентлы, йәғни уларҙың сығарылыштары күмәклектәре тап киләләр.