theorems about pow derivatives