[math-fun] Goucher's suggested cryptosystem