Veja como Lucas procedeu para verificar se 127é primo ou composto