Akar kuadrat dari 2

Pembuktian ini dapat digunakan untuk setiap kendali bilangan asli untuk menunjukkan apakah nomor itu nomor asli atau nomor tidak rasio.