well I'm pretty sure it does, nope, no formal proof :) I'll change the wording