P
Initializing...
Congruences can be cancelled by a series with constant term `1`. · Prove2Me