(require math)
(modular-inverse 42 2017)