Theorem

Let be any sets

Then