Prove Sum (prod Lj)

Summrs