Added more theorem environments.