gel-based DNA computer -- Diophantine equations and splicing: A new demonstration of the