theorem Th11:
  k,l are_coprime implies k|^a,l|^b are_coprime
proof
  assume k,l are_coprime;
  then k|^a,l are_coprime by Th10;
  hence thesis by Th10;
end;
