#include <bits/stdc++.h>
using namespace std;
inline int read() {
  char ch = getchar();
  int x = 0, f = 1;
  while (ch < '0' || ch > '9') {
    if (ch == '-') f = -1;
    ch = getchar();
  }
  while ('0' <= ch && ch <= '9') {
    x = x * 10 + ch - '0';
    ch = getchar();
  }
  return x * f;
}
int C[4010][4010];
int main() {
  int n = read(), w = read(), b = read();
  for (int i = (0); i <= (4000); i++) C[i][0] = 1;
  for (int i = (1); i <= (4000); i++)
    for (int j = (1); j <= (4000); j++) {
      C[i][j] = C[i - 1][j - 1] + C[i - 1][j];
      if (C[i][j] >= 1000000009) C[i][j] -= 1000000009;
    }
  long long res = 0;
  for (int i = (1); i <= (n - 1); i++) {
    for (int j = (i + 1); j <= (n - 1); j++) {
      res = (res + (long long)C[w - 1][n - j + i - 1] *
                       (long long)C[b - 1][j - i - 1]) %
            1000000009;
    }
  }
  for (int i = (1); i <= (w); i++) res = (res * i) % 1000000009;
  for (int i = (1); i <= (b); i++) res = (res * i) % 1000000009;
  printf("%I64d\n", res);
  return 0;
}
