Corrected theorem