Comprobador educativo: Conjetura de Hodge desde derivadas