Let have an Inner Product.
Then for any such that and are Orthogonal,
we have