100 тренировочных задач #23. Доказать иррациональность cos10