theorem Th92: :: SEQ_4:93

for n being Nat holds |.(0c n).| = 0