Los' theorem

  1. redirect ultraproduct