reserve A,B,C for Ordinal;

theorem
  not {},{} are_coprime
proof
  take {}, {}, {};
  thus thesis by ORDINAL2:35;
end;
