Broden-Borel-Levy theorem