Added proof to old homework. Started on level 4.