theorem Th10: :: YELLOW_5:10

for L being Semilattice
for a, b being Element of L st b <= a holds
a "/\" b = b