Original: There are norm mappings Im &rarr; In when m > n, and so an inverse system.
Simplified: There are norm mappings  when , and so an inverse system.