**Assertion:** *The fundamental group of 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)