"proves congruence" - related articles and key terms