Thread:Julien ker/@comment-26404452-20151023092920/@comment-26404452-20151023120833

a proof