Bačovia Maťo, Mišo a Rišo vyryli do stola druhé mocniny: 1, 4, 9 … 2025, spočítali ich súčet a zistili, že je deliteľný číslom 3. Potom sa dohodli, že si zahrajú nasledujúcu hru: v každom kole Maťo vyškrtne jedno číslo, potom Mišo a potom Rišo. Toto bude pokračovať, pokým nevyškrtnú všetky čísla. Rišovým cieľom je dosiahnuť, aby súčet nevyškrtnutých čísel na konci každého kola bol deliteľný 3. Ukážte, že:
- Maťo nevie zabrániť Rišovi v dosiahnutí svojho cieľa, ak Mišo Rišovi pomáha,
- Mišo vie zastaviť Riša v dosiahnutí svojho cieľa aj v prípade, že Maťo pomáha Rišovi.
Pozn.: To, že niekto pomáha Rišovi, znamená, že ten človek chce, aby Rišo splnil svoj cieľ.