dowód prymitywności w drugim dowodzie prostoty A_n