theorem
  <%a,b%> is complementable implies a is complementable & b is complementable
  by Th15,Th17;
