Etiqueta: proposición cuya verdad se demuestra