Complete review of Theorem 4.1