UniversalMorphismIntoDirectProduct

now with diagram as argument