Just some proofs