euclidean distance subgroup of distance, 2 assertions