theorem Th84: :: FACIRC_1:84

for x, y, c being non pair object
for s being State of (MajorityCirc (x,y,c)) holds Following (s,2) is stable