added new proof of basis of h1 (no de-rham)