Frecuentemente se utiliza para verificar que un desarrollo o simplificación algebraica es correcta. Si al sustituir un valor fácil o sencillo para cada variable ambos lados no son iguales, entonces sabemos que el desarrollo algebraico o la simplificación no es correcta.