иррациональность числа 2 в корне решение

предполагаем что есть дробь p/q равная корню из 2, причем берем наименьшую из таких дробей, тогда по вычетам 4 доказывается что p и q четные, что противоречит тому что выбрана наименьшая дробь