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

Proof