We consider the BGG category O of a quantized universal enveloping algebra Uq(g). It is well-known that M ⊗ N ∈ O if M or N is finite dimensional. When g is simple and of type ADE, we prove in this paper that M ⊗N ∈ O if M and N are both infinite dimensional.