Равенство лямбда-термов нетривиально, т.е. не все они равны. Если два терма в нормальной форме не α-конгруэнтны, то они не равны.