Signing and Verifying Using Modular Arithmetic

Problem: Have the signing function create a number that is:

Approach: