finished most parts of theorem 1.5