IsResiduallyThin

IsResiduallyThin(R) returns whether R is residually thin.