Порядковые типи

[Aland]

Всем привет , не могу решить задание:Верно ли что порядковые типы (2+эта)*лямбда и (2+эта)*(лямбда+омега) совпадают ?
Знаю что не совпадают, также понимаю что нужно предположить что есть изоморфизм между множествами, а потом опровергнуть его. Но не знаю как это сделать. Помогите пожалуйста

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом

Aland
Приведите попытки решения, укажите конкретные затруднения.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.