theorem Th67: :: FACIRC_1:67

for x, y, c being object holds InnerVertices (MajorityStr (x,y,c)) is Relation