relativelyprimesubset - complete