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.