State/Linear Diophantine equations can be solved with the Euclidean algorithm 1