How can you prove a semi-euclidean space?