let induction-sum2kp1npqsqm1 = `!n:num. &(nsum (0..(n-1)) (\k. 2 * k + 3)) = int_of_num (n + 1) pow 2 - &1`;;