7We implicitly assume in the following derivations that the structure of the j  function is appropriate to our needs; later we will define a specific j  that will always work, but here we want to leave the structure of the function general.