Нужно доказать, что для букета двух сфер

умножение в когомологиях тривиальное, т.е. достаточно показать, что для образующей

выполняется

.
Задача сформулирована во многих книгах, например, у Казаряна в "Теория гомологий" и у Прасолова в "Элементы теории гомологий", но она объявлена "очевидной" и нигде нет решения. Я сижу уже 2-ю неделю, подскажите, пожалуйста, почему это очевидно!?
