text: Феодор Киренский доказал иррациональность корней натуральных чисел до 17 (исключая, естественно, точные квадраты — 1, 4, 9 и 16), но остановился на этом, так как имевшаяся в его инструментарии алгебра не позволяла доказать иррациональность квадратного корня из 17.