Rewriting the proof of convolution.