theorem :: REWRITE1:47

for Q being co-well_founded Relation
for R being Relation st R c= Q holds
R is co-well_founded