Corollary 3.5. DLO is complete.