i64 * (i - 1)
