theorem Th40: :: TOPGEN_1:40

for T being TopSpace holds Der ({} T) = {} T