Lemmas about integer division

The following lemmas have been commented out here for a while, and need restoration.