Why is this determinant positive?
$T^{\top}T$ is positive semidefinite, so all the eigenvalues are non-negative.
The determinant of $T^{\top}T$ is the product of the eigenvalues; hence, it is non-negative.
$T^{\top}T$ is positive semidefinite, so all the eigenvalues are non-negative.
The determinant of $T^{\top}T$ is the product of the eigenvalues; hence, it is non-negative.