Эгерде бизде a + b = c теңдемеси болсо, анда анын негизинде кошулууларды туюнткан эки барабардык жазууга болот. Мисалы:
Ошентип, a + b = c теңдемесинен биз a жана bны c аркылуу туюнткан эки жаңы теңдеме алдык. Бул теңдемелерди колдонуп, биз a же bнын маанисин таба алабыз, эгерде cнын мааниси белгилүү болсо.