Comment by nwjtkjn

Is there a formal theorem making this precise?