Thread:DirectCode/@comment-46040282-20200717123509/@comment-46040282-20200718161220

Proof?