User blog:Edwin Shade/A Proof