Conjetura de Hodge — comprobador (sobre Q)