Let $V$ be a finite dimensional real inner product space and $U$ a real inner product space of countable dimension. Why is the space of linear isometries from $V$ to $U$ paracompact?