Completing proof of "De Morgan Laws, Vector spaces case".
Enhancing orthogonal complements proof.