#include <bits/stdc++.h>
using namespace std;
template <typename T>
inline void read(T& x) {
  x = 0;
  char c;
  int sign = 1;
  do {
    c = getchar();
    if (c == '-') sign = -1;
  } while (!isdigit(c));
  do {
    x = x * 10 + c - '0';
    c = getchar();
  } while (isdigit(c));
  x *= sign;
}
long long n, w, b, ans;
long long fac[5010], c[5010][5010];
long long comb(long long n, long long m) {
  if (c[n][m] > 0) return c[n][m];
  if (m == 0) return c[n][m] = 1;
  if (n >= m + 1)
    return c[n][m] = (comb(n - 1, m) + comb(n - 1, m - 1)) % 1000000009;
  else
    return c[n][m] = comb(n - 1, m - 1);
}
int main() {
  read(n), read(w), read(b);
  fac[0] = 1;
  for (long long i = 1; i <= max(w, b); i++)
    fac[i] = (fac[i - 1] * i) % 1000000009;
  for (long long i = max(n - w, 1ll); i <= min(n - 2, b); i++) {
    long long k = comb(b - 1, i - 1) * fac[b] % 1000000009;
    k = k * fac[w] % 1000000009 * comb(w - 1, n - i - 1) % 1000000009 *
        (n - i - 1) % 1000000009;
    ans = (ans + k) % 1000000009;
  }
  printf("%I64d\n", ans);
  return 0;
}
