congruence theorem

• formula which declares triangles to be exactly coinciding (geometry)