Thread:TSRITW/@comment-45643661-20200430023122/@comment-25612966-20200430023343

Then prove it.