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