theorem Th8: :: RELSET_3:8

succRel 4 = {[0,1],[1,2],[2,3]}