Sabe-se que existe pelo menos um ? que é ?. Sabe-se, também, que todo ? é ?. Conclui-se, necessariamente, que: