Exercise 184. Let J be a join semi lattice with least element. Prove thatId1(J) is bi algebraic and distributive if and only if every element of J is the join

of a finite set of join prime elements.