For and ,
The map is therefore canonical only for
Then and . The type-one generating function for a canonical transformation
gives
as required.