text: Это следует из существования канонических проекций и вложений и из коммутативности следующей диаграммы: Свойство универсальности для X × ( Y + Z ) {\displaystyle X\times (Y+Z)} гарантирует при этом существование искомого морфизма.