Proposición (Propiedad Universal del Producto Cartesiano)