theorem Th4: :: CSSPACE:4

for n being object holds (seq_id CZeroseq) . n = 0