New simple theorem in my book

I added to my online research book the following theorem:

Theorem Let be a distributive lattice with least element. Let . If exists, then also exists and .

The user quasi of Math.SE has helped me with the proof.