Lilly-flower_theorem2