resonant frequency subgroup of frequency, 9 assertions