Added theorem to example