"3"^^ . "1"^^ . . . . . . "variedad derivada"@es . . . .