МЕЖДИСЦИПЛИНАРНАЯ МАТЕМАТИКА ДОКАЗАЛА-КОРРЕКТНОСТЬ ТЕОРЕМ ЕВКЛИДОВОЙ И НЕЕВКЛИДОВЫХ ГЕОМЕТРИЙ ОПРЕДЕЛЯЕТ ЧИСЛО ТОЧЕК В ЛИНИЯХ И ИХ РАЗМЕР!