Proof is trivial! It's trivially shown by applying a homomorphism to an irreducible sequence bounded by the rational morphisms (Hint: invoke the Rankine-Hugoniot conditions)