how to write congruence statements - Search