Put theorem on page 7 into theorem/proof environment.