Proofs for knotdotcom - billbrammer