The congruence used in Theorem 26 is—

The two triangles share the common hypotenuse $OP$ and have equal radii $OA = OB$ as one pair of sides. With the right angles at $A$ and $B$, they are congruent by the RHS (right angle–hypotenuse–side) criterion.