module Riemann