fix proof env

Author: longye-tian

lectures/orth_proj.md

@@ -306,9 +306,7 @@ P y = \sum_{i=1}^k \langle y, u_i \rangle u_i,
 ```
 ```
 
-```{prf:proof} 
-
-Fix $y \in \mathbb R^n$ and let $P y$ be  defined as in {eq}`exp_for_op`.
+```{prf:proof}  Fix $y \in \mathbb R^n$ and let $P y$ be  defined as in {eq}`exp_for_op`.
 
 Clearly, $P y \in S$.
 
@@ -325,6 +323,7 @@ $$
 $$
 
 (Why is this sufficient to establish the claim that $y - P y \perp S$?)
+
 ```
 
 ## Projection Via Matrix Algebra