### Linear algebra : Prove the extended Pythagorean Theorem: E^2=lbl^2 - lPl^2.

We've defined the error between a vector b in Euclidean vector space R^m and its projection p onto a subspace of R^m as E=lb-pl. Prove the extended pythagorean Theorem: E^2=lbl^2 - lPl^2.