theorem Th49: :: CAT_8:49

for C1, C2 being category holds
( not C1 [x] C2 is empty iff ( not C1 is empty & not C2 is empty ) )