Here's how I would do it:

If and are independent then: let and be invertible functions then: and then we have: , , , . Such that the Jacobian So then Which is quite clearly separable and therefore and are independent.

The only problem I could see would be assuming that the transformations are invertible.