Simpulkan dari dua kasus yang telah disingkirkan bahwa bilangan real positif \(\sqrt{2}\) ada. Rubrik: gunakan trikotomi pada \(m^2\) dan, untuk ketepatan notasi, jelaskan ketunggalan akar positif tersebut.