shad/algo2: hw3 theory add proof part.