Theorem of absolute purity (source code)

= Theorem of absolute purity
{wiki=Theorem_of_absolute_purity}