Firstly, sorry if I put this is the wrong place. I'm not really sure where geometry goes.

Anyway, i'm trying to prove the SSS criterion for triangles in .

This is what i've tried:

Let PQR be a triangle in .

Arrange a Lorentz motion taking P to and Q to on the line where .

Let and .

Then if we draw a circle of radius around P, and a circle of radius around Q, where they intersect should be R (they will intersect twice, but this doesn't matter since each of these triangles have the same side length).

Suppose that the circles do not intersect and R does not exist. Then this contradicts the fact that a Lorentz motion preserves hyperbolic lines.

Hence R must exist and must have the side lengths as the triangle before the motion.

Therefore, given any two triangles with the same sides, the triangles can be mapped to the same triangle with two points of and . Hence they are congruent.

Is this right? I'm a little shaky on hyperbolic space.