[0zer0]

It is a very unrealistic and simple model. The question remains, however, what is meant by the

> quite general conditions [under which] the logic goes through.

This seems pretty contradictory. There is no hint at which of the constraints is edited to fit better to reality.

[zwaps]

Some of the papers are linked. These papers, decades old, helpfully even show cases where the result does not hold.