in Theorem 2

Open in new window