Congruent triangle word problem