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;
int n, w, b;
long long pd[8][2], tmp[8], resp[8][2];
int main() {
  scanf("%d%d%d", &n, &w, &b);
  memset(pd, 0, sizeof pd);
  memset(tmp, 0, sizeof tmp);
  pd[0][0] = 1;
  for (int i = 0; i < n; ++i) {
    for (int j = 0; j < 8; ++j) {
      tmp[j] = pd[j][1];
      if (j < (8 - 1)) pd[j + 1][1] = (pd[j][0] + pd[j][1]) % 1000000009LL;
    }
    for (int j = 0; j < 8; ++j) pd[j][0] = tmp[j], pd[j][1] = tmp[j] = 0;
    resp[i][0] = pd[w][0], resp[i][1] = pd[b][0];
  }
  long long r = 0;
  for (int i = 1; i < n - 1; ++i)
    r = (r + (((resp[i][0] * resp[n - i - 2][1]) % 1000000009LL) * i) %
                 1000000009LL) %
        1000000009LL;
  for (int i = 1; i < w + 1; ++i) r = (r * i) % 1000000009LL;
  for (int i = 1; i < b + 1; ++i) r = (r * i) % 1000000009LL;
  printf("%I64d\n", r);
  return 0;
}
