Added a proof for Task 01