Е́сли систе́ма (∗∗) получи́лась из систе́мы (∗) с по́мощью элемента́рного преобразова́ния пе́рвого ти́па, то всё|все уравне́ния в ней те же (то́лько места́ми переста́влены), поэ́тому то́же при подставлении набо́ра (x0 1,x0 2,...,x0 n) обраща́ются в ве́рные ра́венства.