calculus laws