微分形式の幾何学と同程度の内容で証明がきちんと書いてあるのありますか?