Pedro estava estudando sobre os números naturais e, lendo seu livro, notou que o antecessor de um número natural é aquele que antecede o número dado, de modo que todo número natural, com exceção do zero, tem um antecessor e, para obter o antecessor, basta subtrair uma unidade do número dado. Em seguida, ele precisava resolver um exercício que propunha que ele obtivesse o antecessor de algum múltiplo de 5. Uma expressão que pode ser utilizada para que Pedro encontre corretamente o número desejado é
