The fixed-M limit

The symmetric operator $B_{\infty }$ is closable. No claim that closability remains undecided is made. An uncompressed measured evolution is simply not used in the following theorem.