👤

( ) Existem algum número natural
que não é sucessor de nenhum
outro.​