Theorems
Number of surjective functions
Derivative of composition with exponential function
Converting finite differences to derivatives