## Isometries of a product of Riemannian manifolds

**Theorem**. Let and be two compact Riemannian manifolds with irreducible holonomy groups. Let . Then

This result seems to be a folklore, probably well known to the specialists, although it is hard to find it in the literature. The only discussion which I managed to find on Mathoverflow contains …