Corollary

You'll have to write it yourself.

- Robert Mueller