Proof that I invented Bing doubling