theorem :: TOPS_1:18

for GX being TopStruct holds Int ({} GX) = {} GX ;