added another theorem to be proved