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 .