Guilherme é professor da rede pública municipal. No ano de 2023, Guilherme procurou informações sobre quando poderia se aposentar. Ele anotou que nasceu em 5 de abril de 1963, que ingressou no serviço público aos 19 anos de idade como auxiliar administrativo, mas que se tornou professor em 1990. Desta forma, de acordo somente com as disposições da Constituição Federal, é correto dizer que: