Proof is trivial! It's trivially shown by showing the contrapositive using a Cauchy equivalence class which is isomorphic to the well-defined comodules (Hint: consider the Rankine-Hugoniot conditions)