Talk:Trade/@comment-39020661-20190526204230/@comment-38850348-20190526205258

Proofs?