Proof of fundamental theorem of calculus