Why is it sometimes possible to fold an infinite list from the right?

Question

I have been going through the excellent CIS 194 course when I got stuck on Part 5 of Homework 6. It revolves around implementing the ruler function without any divisibility