@joelparis: It is also proved