Um(a) enunciado pode ser uma parte de um(a) teorema