Let and be the quotient and remainder of the division of by . (That is, for each and , let , where and are positive integers and .) This Demonstration shows as a rectangle of blue squares plus an additional red squares.

If is not prime, there may be some that make red squares appear, but that only means that particular does not divide ; there are other that do divide , in which case no red squares appear.