poprawka w pierwszym dowodzie prostoty A_n
merge