Álvaro deve identificar, em uma prova, qual sentença matemática é fechada e totalmente verdadeira. Nesse sentido, assinale a única alternativa CORRETA.