theorem Th68: :: FACIRC_1:68

for x, y, c being non pair object holds InputVertices (MajorityStr (x,y,c)) is without_pairs