theorem Th14: :: CAYLDICK:14

for N being non empty ConjNormAlgStr
for a, b being Element of N st a is left_complementable & b is left_complementable holds
<%a,b%> is left_complementable