Purification theorem
[ja] 純化定理