proof of basis - showed regularity of new differential, and that df=omega-omega