euclidean geometry subgroup of geometry, 2 assertions