Talk:Tophats/@comment-39206529-20200119074106/@comment-39206529-20200119074422

Proof