The fundamental theorem of ultraproducts