"3"^^ . . . . . . "toma de semimódulo"@es . . .