proof

proof of derivative properties