P
Initializing...
Divisor reduction: the weighted result descends to every divisor · Prove2Me