3 3 1
 300 2 300
 4000 4000 1
 4000 4000 100
 4 2 3
 3 300 300
 4000 100 4000
 3 300 1
 300 300 1
 4000 1000 3000
 3 2 4000
 4 3 2
 3 2 300
 4000 3998 2
 100 200 300
 300 300 300
 3 3 3
 10 10 10
 10 4 9
 239 300 231
 4000 2 3998
 200 100 300
 4000 2000 2000
 4000 4000 4000
 10 7 5
 4000 100 3900
 3 4000 4000

12
 775907030
 63263244
 994443885
 24
 496527918
 908339579
 828107078
 775907030
 876839920
 938379934
 48
 196174631
 296557186
 316471646
 375912430
 72
 318389383
 135283173
 774612666
 686088712
 949581532
 310481606
 997463324
 130636800
 221262673
 680114446

#include <bits/stdc++.h>
using namespace std;
long long ch[4010][4010];
long long ans, jc[4010];
long long p;
int n, a, b, i, j, c;
int main() {
  scanf("%d%d%d", &n, &a, &b);
  for (i = 0; i <= 4000; i++) ch[i][0] = 1;
  for (i = 1; i <= max(a, b); i++)
    for (j = 1; j <= max(a, b); j++)
      ch[i][j] = (ch[i - 1][j - 1] + ch[i - 1][j]) % 1000000009ll;
  jc[1] = 1;
  for (i = 1; i <= 4000; i++) jc[i + 1] = (jc[i] * (i + 1)) % 1000000009ll;
  for (i = 1; i <= b; i++) {
    if (n - i < 2 || n - i > a) continue;
    c = n - i;
    p = jc[b] * ch[b - 1][i - 1] % 1000000009;
    p = p * jc[a] % 1000000009;
    p = p * ch[a - 1][c - 1] % 1000000009;
    p = p * ch[c - 1][1] % 1000000009;
    ans = ans + p;
    ans %= 1000000009;
  }
  cout << ans;
  return 0;
}
