Projection/Rejection
We know that
We can now derive
Dividing by
M
gives us
A similar proof shows that
