P
Initializing...
1+M consists of units when M is closed, multiplicative and of norm <1 · Prove2Me