Changed description of last theorem.