benson papers
begin main thm for qts