theorem ThLast: :: ASCOLI:22

for T being NormedLinearTopSpace st T is compact holds
T is complete