2 dowód prostoty A_n