theorem Th9: :: RELSET_3:9

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