deleted old proof of basis of h1
added stuff