JKleeman: Proof 8880