Thread:ToaMatau2004/@comment-3263817-20151206202617/@comment-25071687-20151206213441

Here is also the proof.