Suppose is an inner product space and , such that is non-degenerated. Then there is an orthogonal decomposition: . Moreover is non-degenerated iff is non-degenerated.
By exam: and since is non-degenerate we conclude by lemma that is an orthogonal decomposition.