soft pretzel subgroup of pretzel, 2 assertions