Let be measures on with . Suppose that on for some pi-system generating . Then on .

Proof