Dimension Formula for Symplectic Complements