P
Initializing...
Total mass of the additive convolution is $|X||Y|$ · Prove2Me