For eksempel, kan polynomene, og unifiseres til ved å gjøre substitusjonene = og = .