P
Initializing...
Idempotent–unit splitting for an element coprime to its annihilating factor · Prove2Me