Symplectic Basis Theorem