theorem Th36: :: NAT_5:36

for k being Nat holds Sigma k is multiplicative