horizontal rules
modular inverse