Изменения
→Доказательство
==Теорема 2==
Для любого иррационального числа <math>\alpha</math> существует бесконечное число дробей <math>\frac{P}{Q}</math> таких, что <math>~|\alpha-\frac{P}{Q}|<\frac{1}{2Q^2}</math>
===Доказательство===
==Теорема 3==