Orthogonal Complement Subbundle Theorem