theorem Lemacik00: :: LATQUASI:2

for v0, v1 being Element of QLTLattice1 st v1 = 0 holds
v0 "/\" v1 = v1