In the past few decades, nonstandard methods, as a branch of mathematical logic, have been successfully applied to obtain new results in additive/combinatorial number theory (cf. [BJ, Ji1, Ji2, Ji3, Ji4, Ji5, Ji6, JK, Le1, Le2, Le3, Le4]). Although the nonstandard techniques in these applications are elementary from a nonstandard analyst’s point of view, it is extremely difficult for a reader w...