Title: [Collection of miscellaneous proofs