Взаимно простые идеалы

[Nomo]

Получается $(y+z)x=yx+zx$, $y\in I_1, z\in I_2$, но что дальше?

[mihaild]

А дальше - вспомнить, что нужно

mihaild в сообщении #1339521 писал(а):

представление вида "сумма произведений элементов первого идеала на элемент второго"

Сумма уже есть, как произведения поправить?