If $(q,p)$ to $(Q,P)$ is a canonical transformation, then does this imply $(Q,P)$ to $(q,p)$ is also, assuming Hamilton's equations hold for the coordinates $(q,p)$?
This seems like it should be true from the derivation for a canonical transformation using Poisson brackets, but I was wondering if anyone knew any better (or had some specific counter examples).