Sejam os conjuntos , , e tais que , e . Demonstre que .