Preimage of Composition of Functions Set Theory Proof