> While this constraint can be intuitively demonstrated with a simple illustration and is simple to prove, it has never appeared in the literature.
Ok, I would love to see a simple illustration here :)