#(format #t"~{The ~:R positive integer is ~:*~R.
~}"(iota(read)1))