/proofs

some mathematical proofs