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

Proof