import Control.Monad
import Data.Maybe
import qualified Data.ByteString.Char8 as BS

main :: IO()
main = do
    [n,a,b] <- getIntList
    -- ΣnCk[0,n] = 2^n より (2^n - 1 - nCa - nCb)が答
    putStrLn $ show $ let result = (power' 2 n) - 1 - (combination n a) - (combination n b)
                          divisor = 10^9 + 7
                      in snd $ divMod (result + 2 * divisor) divisor

fact' :: (Integral a) => a -> a -> a
fact' a 1 = a
fact' a n
    | a < n  = -1
    | a >= n = snd $ (a * fact' (a-1) (n-1)) `divMod` p
    where p = 10^9 + 7

power' :: (Integral a) => a -> a -> a
power' 1 _ = 1
power' a 1 = a
power' a b = let ret = snd $ divMod (x * x) p
             in if even b then ret else snd $ divMod (ret * a) p
             where p = 10^9 + 7
                   x = power' a $ fst (b `divMod` 2)

inv :: (Integral a) => a -> a -> a
inv n p = if n <= 0 || p <= 1
              then -1
              else power' n (p-2)

combination :: (Integral a) => a -> a -> a
combination 0 _ = 1
combination _ 0 = 1
combination m 1 = m
combination m n
    | m < n  = 0
    | m == n = 1
    | n > threshold  = combination m (m-n)
    | n <= threshold = snd $ ((fact' m n) * (inv (fact' n n) divisor)) `divMod` divisor
    where threshold = fst $ divMod m 2
          divisor = 10^9 + 7

readInt = fst . fromJust . BS.readInteger
readIntList = map readInt . BS.words
getIntList = readIntList <$> BS.getLine