added atex file with derivation of the exchange terms using the entropy inequality