improved explanation
better comment
added A000020 irreducible polynomials in GF(2), bad algo