let mathd-numbertheory-326 = `!n:num.
    ((int_of_num n - &1) * &n * (&n + &1) = &720)
==>
    (n + 1) = 10
`;;