re-phrases theorem 2