Exercise 1
This is the first exercise.
Theorem 1
This is the first theorem.
Exercise 2
This is the second exercise.
Exercise 3
This is the third exercise.
Theorem 2
This is the second theorem.
{theorem}