add O(n)-modinverse