updated proof
imported algorithm package.
Completed greedy algorithm