Complementary Lagrangians in Infinite Dimensional Symplectic Hilbert Spaces

Using the Spectral Theorem for unbounded self-adjoint operators we prove that any countable family of Lagrangian subspaces of a symplectic Hilbert space admits a common complementary Lagrangian.