Qual é o menor número primo maior que 80?