İpucu: $p_1:Y\times\bar{Y}\to Y,\ p_2:Y\times\bar{Y}\to \bar{Y},\ f:Y\to Y\times\bar{Y}, f(y)=(y,\bar{y_0}),\ f:\bar{Y}\to Y\times\bar{Y}, f(\bar{y})=(y_0,\bar{y})$
(sürekli) fonksiyonlarının tanımladığı (esas gruplar arasındaki) homomorfizmaları düşün. ($p_1,\ p_2$, $y_0$ ve $\bar{y_0}$ yi tahmin edebilirsin.)