Talk:Pickaxe/@comment-36363750-20181111110137/@comment-31259868-20181111134519

get a proof