Under difference separation, the projected distance count equals the sign-paired difference-class count

Initializing...

Under difference separation, the projected distance count equals the sign-paired difference-class count · Prove2Me