Comprobador interactivo: Conjetura de Hodge (desde integrales)