reducción
sustitución
igualación
pxx
pyy
Descartes