8.2: Proving Triangle Similarity by AA