helical gear subgroup of gear, 4 assertions