Tekintsünk egy számsort, amely a 7-nél nagyobb pozitív egész számokból áll 7-től kezdve felfelé haladva. Ahogy Marvin végigmegy a számsoron, minden egyes n pozitív egész számot ellenőriz, és pirosra festi, ha és amennyiben $ \dbinom{n}{7} $ osztható 12-vel. Ahogy Marvin végighalad a számsoron, a pirosra festett kockás számok aránya közelít egy p számhoz. Ha p a legegyszerűbb alakja r/q , mekkora q értéke?
 
Végeredmény: $ 144 $