P
Initializing...
The defect off-part equals the tied sum, in full generality · Prove2Me