Se um número natural x é um número primo, conclui-se que ele é divisível: