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