. "3"^^ . . . . . . . "restklassenring modulo 2"@nl .