mod proof discrete math