sentences:  We note that
  
  and prove that these inverse images are nonempty and have the FIP.Let "i1", ..., "iN" be a finite collection of indices in "I".Then the "finite" product "Ai1" × ... × "AiN"
  is non-empty (only finitely many choices here, so AC is not needed); it merely consists of "N"-tuples.