Given that: $$ \text{Corr}(Y, X_1) > 0 \\ \text{Corr}(Y, X_2) = 0 \\ \text{Corr}(X_1, X_2) > 0 $$
Consider 2 regressions: $$ Y = a X_1 + \epsilon \\ Y = b_1 X_1 + b_2 X_2 + \epsilon $$
Which one is bigger, $a$ or $b_1$?
The answer should be $a < b_1$. Intuitively, I would answer this using "Regression by Successive Orthogonalization" in ESL Chapter 3. Basically, if we orthogonalize for getting $b_1$, the $z_p$ will be small because of $X_1$ correlated with $X_2$, so $b_1$ will be higher than $a$.
Here is a snapshot on the algo (it's on page 54): 
But can someone please help prove this in a more rigorous form? I was trying to come up with a representing beta (coefficient) using correlation to prove this, but it failed.