la edad de juan mas el doble de la edad de pedro es igual a 80 años ¿que edad tiene cada uno de ellos?