Finished the proofs of theorem 1 and 2