Purification theorem (source code)

= Purification theorem
{wiki=Purification_theorem}