純化の定理、百合の花