Kostki odróżniają się od siebie, zatem możemy ustalić porządek (według uznania), w którym będziemy podawali wyniki rzutu określonego w treści zadania.
W ten sposób każdy wynik rzutu czterema symetrycznymi kostkami sześciennymi do gry zanotujemy jako czteroelementowy ciąg , gdzie
– liczba oczek otrzymanych na pierwszej kostce,
– liczba oczek otrzymanych na drugiej kostce,
– liczba oczek otrzymanych na trzeciej kostce,
– liczba oczek otrzymanych na czwartej kostce
oraz dla .
Rozpatrzmy funkcję
,
która każdemu wynikowi rzutu czterema kostkami przypisuje wynik
W ten sposób wzajemnie jednoznacznie przypisaliśmy wyniki w następujących parach:
: wypadło jedno oczko ↔ wypadło sześć oczek,
: wypadły dwa oczka ↔ wypadło pięć oczek,
: wypadły trzy oczka ↔ wypadły cztery oczka.
Zatem dziedziną funkcji jest zbiór wszystkich wyników rzutu czterema odróżnialnymi symetrycznymi kostkami sześciennymi oraz zbiorem wartości funkcji jest ten sam zbiór wszystkich wyników rzutu czterema odróżnialnymi symetrycznymi kostkami sześciennymi.
Oznacza to, że funkcja przekształca wzajemnie jednoznacznie zbiór na zbiór .
Oznaczmy przez podzbiór zbioru opisujący wszystkie wyniki spełniające warunek „wypadła suma liczba oczek większa niż szesnaście”.
Wobec tego dla każdej czwórki ze zbioru prawdziwa jest nierówność
Korzystając z reguły równoliczności stwierdzamy, że jest ich tyle samo, co rozwiązań nierówności
Ta nierówność jest równoważna kolejno nierównościom
Wobec tego wyników, w których wypadła suma liczb oczek większa niż szesnaście jest tyle samo, co wyników, w których wypadła suma liczb oczek mniejsza niż dwanaście.