Fundamental theorem of exterior calculus