notes

proof of derivative properties