https://123dok.net/document/zx56k0no-the-delay-theorem-in-the-ordered-case.html