Echa un vistazo a los modelos actuales de Denon, por ejemplo el AVR-X1100, que admite altavoces entre 4-16 ohmios.

De todas maneras, con un uso "normal" los receptores podrían funcionar (yo soy de los que no recomiendan esta combinación si el fabricante no lo hace), si te fijas en la etiqueta trasera de tu receptor, verás que está diseñado para 6-16 Ohmios y lo tienes funcionando...