typo: switches between (a_1,a_2) and (x,y)
Merge pull request #390 from ecavallo/master

typo in Lemma 8.6.10 (freudlemma)