The division algorithm states that given an integer and a positive integer , there are unique integers and , with , for which . For example, when a number is divided by 7, the remainder after division will be an integer between 0 and 6.