add comments
chinese remainder theorem refactor
solve ax === b (mod m)