Math and programming

Proof and code snippets