P
Initializing...
Transport the property by positive multiplication · Prove2Me