Recently very much more general theorems have been proved by Grnwald and Milgram. 3 They in fact proved (among others) that the condition that G' contains no closed directed path is superfluous.
No takes yet. Share an insight, caveat, or question.
P. Erdös (1947) studied this question.