Non-Euclidean geometry vs Euclidean geometry