Thread:Mrosem6/@comment-69.121.161.87-20121125235714/@comment-50.15.207.11-20130116135838

That goes with the proof.