added theorems about {Proper,} R-{ancestor,posterity}