>>300の双対より引き込み(>>296)は全射(代数的整数論017の345)である。