Modular inverse works!