CS 3420 Proofs

Added and updated proofs.