Tensor product of metric connections is metric

From Diffgeom

Statement

A differential manifold . Two metric bundles and (i.e., are vector bundles and are Riemannian metrics or pseudo-Riemannian metrics on these). are metric connections on and respectively. Then, the tensor product of connections is a metric connection on .

Proof

Related facts