Proof of ASA Theorem
Theorem 6-9.
ASA Theorem
- Every ASA correspondence is a congruence.
