Proofs

Divisibility by 3

Exponential serie

Mandelbrot set symmetry

Fermat's little theorem

Newton's binomial formula

Nth derivative of product

Cauchy-Schwarz inequality for sums

Calculation of some cubic roots