Assignment 6 - Add proof for 3.3