import Control.Applicative

-- 1行をStringとして読む
getStr :: IO String
getStr = getLine

-- 1行をIntとして読む
getInt :: IO Int
getInt = readLn

-- スペース区切りの1行を[String]として読む
getStrList :: IO [String]
getStrList = words <$> getLine

-- スペース区切りの1行を[Int]として読む
getIntList :: IO [Int]
getIntList = map read . words <$> getLine

solve :: Int -> Int -> Int
solve a b = div (a * (a - 1) + b * (b - 1)) 2

main :: IO ()
main = do
    [a, b] <- getIntList
    print $ solve a b