Thread:Azin62/@comment-31606211-20171125200304/@comment-31512320-20180112171803

proofs?