thanks! its very helpful to me to have this thorough discussion.

indeed the probabilistic proof IS as clean as the nonprobabilistic one. (my proof for the latter is essentially the same as yours)

interesting! but now it seems like a really simple question, isn't it!