change URL of anachy proof.
Add hints for ex5.
Add ex6.md.