A separation theorem for Hilbert W^*-modules | Synapse