chapters/wigner-bec/truncation: simplified the proof of truncated losses theorem