Finish draft for proof theorem 1.1