Thread:Fradj/@comment-5909146-20181025063326

Did you have a proof? 