A better and more careful writing of the proof of Theorem 11 is in
Theorem 11