Title: Further proofs