Se ha demostrado que √7 y √2 son irracionales.
Sin embargo, no estoy seguro de cómo ir sobre probar que √7 - √2. Es una prueba aceptable sólo resolver la ecuación que resultaría/refutar la ecuación o como la prueba debe llevarse a cabo como un contrapositivo, de forma similar a √7 y √2 han demostrado ser irracional.
¿Qué sería de una prueba válida/refutación de la irracionalidad en este caso?