theorem Th7: :: DECOMP_1:7

for T being TopSpace holds (T ^alpha) /\ (D(c,alpha) T) = the topology of T