Examples of the theorem environments.