[Spring 14] Homework 2 Problems 3, 4, 5

Problem 3 Errata: I meant to say "equality" instead of addition for Part 1's proof. For Part 2, a~a, 3 divides 0, not what I stated ("0 divides 3")