Could anyone provide a reference to the text where the following theorem appears?