Fundamental theorem of ultraproducts