Poussin proof (source code)

= Poussin proof
{wiki=Poussin_proof}