Q17 Matemática  (Baltic Way 2003)

Todos os divisores positivos de um inteiro positivo $n$ são armazenados em uma matriz crescente. Mary está escrevendo um programa que decide se um divisor $d>1$ arbitrariamente escolhido é primo. Seja $n$ com divisores $k$ não maiores que $d$. Mary afirma que é suficiente verificar a divisibilidade de $d$ pelos primeiros $\lceil \frac{k}{2}\rceil$ divisores de $n$: $d$ é primo se e somente se nenhum dos mas $1$ divide $d$. Maria está certa?