theorem Th16: :: XBOOLE_1:16

for X, Y, Z being set holds (X /\ Y) /\ Z = X /\ (Y /\ Z)