Esta equivalencia lógico-matemática permite operar solo con expresiones racionales.