The proof is in the posting