Which triangle congruence postulate would be used to prove the following triangles congruent?
1. AAS
2. SSS
3. SAS
4. HL
