theorem :: RELSET_3:77

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