Module proof