Why Should The Remainder Be Less Than The Divisor