Древнейшее доказательство того, что сторона единичного квадрата и его диагональ несоизмеримы