A characterization of certain discrete exponential families

For independent random variables X and Y, define % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiaabofaruWrL9MCNLwyaGqbciaa-bcacqGHHjIUcaWFGaGaa8hw% aiaa-TcacaWFzbaaaa!4551!\[{\rm{S}} \equiv X + Y\]. When the conditional expectations % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiaadweacaGGBbqefCuzVj3zPfgaiuGajaaqcaWFNbGccaGGOaGa% amiwaiaacMcacaGG8bGaam4uaiaac2facqGHHjIUcaWGHbGaaiikai% aadofacaGGPaaaaa!4BC4!\[E[g(X)|S] \equiv a(S)\]and % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiaadweacaGGBbGaamiAaiaacIcacaWGybGaaiykaiaacYhacaWG% tbGaaiyxaiabggMi6kaadkgacaGGOaGaam4uaiaacMcaaaa!4894!\[E[h(X)|S] \equiv b(S)\]are given, then under certain assumptions, the density function of X has the form of u(x)k()e^ax, where u(x) is uniquely determined by the functions a(·) and b(·).