theorem Th13: :: MESFUNC7:13

for k being Nat st 1 <= k holds
+infty |^ k = +infty