excluded r=0 in prop 4.7, changed prop 4.16