ring gear subgroup of gear, 4 assertions