તે સ્પષ્ટ બનાવવા માટે, અમે એક ઉદાહરણ સમજવા રહેશે: X * વાય '= yx * ઈ y / એક્સ. જ્યારે બધા ઘટી રિપ્લેસમેન્ટ ચકાસણી.