## 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 an answer by Igor Rivin (due […]