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