theorem Th63: :: CHAIN_1:66

for d being non zero Nat
for G being Grating of d
for C being Chain of 0,G holds
( C is Cycle of 0 ,G iff card C is even )