for T being TopStruct holds id T = 1_ (HomeoGroup T)