4.1-4.2, due on September 22

1. I do not really understand the concept of the proofs with mods.

2. I think the proofs for divisors is interesting. The new notation is different though, it's kind of reverse. Instead of 4/2 it's 2|4.