theorem
  a is complementable & b is complementable implies <%a,b%> is complementable
  by Th14,Th16;
