coprime ⊥ domains