יש מערכת שנכנס לתוכה מספר בינארי אינסופי. זאת אומרת, הספרות 1 או 0 , נכנסות כל הזמן. הספרה החדשה שנכנסה מתווספת למספר הישן, וכך נוצר מספר חדש. המטרה : בכל פעם לבדוק האם המספר החדש מתחלק ב-5. לכאורה זה קל, אבל הבעיה שאם רוצים לבדוק את המספר עצמו דרוש כאן זיכרון אינסופי. הפתרון כאן הוא לבדוק כל פעם לא את המספר עצמו אלא את השארית מהחילוק (שיכולה להיות רק 0, 1,2,3 או4 ) ואת החלק השלם ''לזרוק''. צריך לזכור שמדובר במספר בינארי.