theorem Th29: :: BASEL_2:29

for m being Nat holds Sum (sqr (cosec (x_r-seq m))) = ((2 * m) * ((2 * m) + 2)) / 6