
premises
# TH_12
% congruence relation is reflexive

point(1)
point(2)

conclusions

cong(1,2,1,2)
