../../Task/Modular-inverse/Prolog