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 <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <queue>
#include <cmath>
#include <string>
#include <string.h>
#include <iterator>
#include <cstdlib>
#include<stack>
#include<map>
#include<set>
#define inff 0x1f
#define EPS 1e-7
#define maxm 200000000
#define MAXN 33
#define inf 1000000000
#define L(x) (x<<1)
#define R(x) (x<<1|1)
#define N  1002
#define mod 1000000009 
//#define pi acos(-1.0)
#define pi 3.1415926535
using namespace std;
__int64 C[4000+1][4000+1];
__int64 a[4002];
void Initial()
{
    int i,j;
    for(i=0; i<=4000; ++i)
    {
        C[0][i] = 0;
        C[i][0] = 1;
    }
    for(i=1; i<=4000; ++i)
    {
        for(j=1; j<=4000; ++j)
            C[i][j] = (C[i-1][j] + C[i-1][j-1]) % mod;
    }
    a[0]=1;
    for (i=1;i<=4000;i++)
    {
        a[i]=a[i-1]*i;
        a[i]%=mod;
    }
}

int main() {
  //freopen("E:\\in.txt","r",stdin);
  // freopen("E:\\out.txt","w",stdout);
    Initial();
     int n,b,w;
     while(scanf("%d%d%d",&n,&w,&b)!=EOF)
     {
            int i,j;
            __int64 ans=0;
            for (i=1;i<=n;i++)
            {
               for (j=1;j<=n;j++)
               {
                     if(j+i>w) break;
                     if(n-(i+j)>b) continue;
                     if(n-(i+j)<1) break;
                     int x=i+j;
                     int y=n-x;
                     ans+=(((C[w][x]*a[x])%mod)*((C[b][y]*a[y])%mod))%mod;
                     ans%=mod;
               }
            }
            printf("%I64d\n",ans);
     }
   return 0;
}
