Linear Algebra: dim(V) + dim(orthogonoal complelent of V)=n