**Assertion:** *The fundamental group of a space which has an $H$- and a co-$H$ structure is trivial or infinite cyclic.* Why this is true? (added conditions: one should probably assume that the space is connected and has the homotopy type of a CW complex)