It seems worthwhile pointing out that Theorem REF  is the "weak-Hilbert" analogue of Bary-Soroker–Fehm–Petersen's product theorem for the (usual) Hilbert property [1]}. This product theorem was stated by Serre as a problem in [2]}.
