Definición del Teorema de Eliminación: Eliminar parámetros mediante ecuaciones algebraicas