theorem Th32: :: TOPGRP_1:33

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