(module math mzscheme
  (require "number-theory.ss")
  (provide (all-from "number-theory.ss")))