pub fn solve_simultaneous_linear_congruence<T, I>(abm: I) -> Option<(T, T)>where T: Unsigned, I: IntoIterator<Item = (T, T, T)>,
return: (y,z)
forall (a,b,m), ax = b mod m, where x = y mod z