Proofs completed :-)