theorem :: NELSON_1:4

for L being Quasi-Boolean_Algebra
for x, y being Element of L holds x "/\" (x "/\" y) = x "/\" y