fixed theorem after yet another false proof