Talk:BFB 12/@comment-34577543-20180702125951/@comment-35344314-20180702131955

Proof needed