Это несколько затрудняет навигацию, так как обычно под неевклидовыми геометриями подразумевают сферическую и Лобачевского. Вы не возражаете, если я переименую эту категорию в "Теоремы геометрии", и в ней создам подраздел для евклидовой, и, при появлении необходимости, для дифференциальной, алгебраической, гиперболической (или Лобачевского), сферической, проективной и т.д.?