General Discussion Forum

A question concerning problem 4 in HW1 and a general question about proofs