theorem :: RELSET_3:74

modRel 1 = {[0,0]}