Will a Denon AVR-3801 will drive properly the M80ti ? It states in the manual that it drives 4 ohms speakers. (I thought I had a AVR-3800 but it's a 3801)

Sylvain