theorem Th20: :: ASCOLI:20

for T being NormedLinearTopSpace holds
( T is compact iff TopSpaceNorm T is compact )