theorem Th52: :: CHAIN_1:55

for d being non zero Nat
for G being Grating of d
for B being Cell of (0 + 1),G holds card (del {B}) = 2