theorem Th1: :: STACKS_1:1

for i being Nat holds Del ({},i) = {}