theorem :: NELSON_1:5

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