Corollary of
U(
n)
as an external direct product