T∗T always has a positive selfadjoint extension