Theorems for free.