Polinômio irredutível

Esta é a solução do João Pedro para um problema proposto pelo Gugu.

Formato dvi, ps.