Peetre theorem (source code)

= Peetre theorem
{wiki=Peetre_theorem}