Let be a pi-system. Then any d-system containing contains also the sigma-algebra generated by . Proof