Can AAA be used to prove congruency?