4 Si tenemos un conjunto $M$ de $2019$ números reales tal que para todo par $a$, $b$ de números de $M$ se verifica que $a^2+b \sqrt2$ es un número racional. Demuestre que para todo $a$ de $M$, $a\sqrt2$ es un número racional.