Fix Harary proof and other things in thm 3