function nthproof(int "n")