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