Remainder and Divisibility Properties