Երկու անկախ աշխատողներ միաժամանակ ստուգում են, որ հերթապահ բժիշկների թիվը ավելի քան երեք է, և յուրաքանչյուրը արձակուրդ է վերցնում, ինչը խախտում է invarianta։ Ինչ է սա խնդիր և ինչպես լուծել?