congruence_and_proportionality_test