# Because formula_27 is divisible by two and therefore even, and because formula_28, it follows that formula_29 is also even which means that formula_11 is even.
Применим доказательство от противного: допустим, formula_2 рационален, то есть представляется в виде дроби formula_29, где formula_30 и formula_31 — целые числа.