blecksmith-brillhart-gerst theorem