completed the remaining proofs