theorem :: RELSET_3:78

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