Problem:
Score : 400 points

Problem Statement

We have a large square grid with H rows and W columns.
Iroha is now standing in the top-left cell.
She will repeat going right or down to the adjacent cell, until she reaches the bottom-right cell.

However, she cannot enter the cells in the intersection of the bottom A rows and the leftmost B columns. (That is, there are A×B forbidden cells.) There is no restriction on entering the other cells.

Find the number of ways she can travel to the bottom-right cell.

Since this number can be extremely large, print the number modulo 10^9+7.

Constraints

1 ≦ H, W ≦ 100,000

1 ≦ A < H

1 ≦ B < W

Input

The input is given from Standard Input in the following format:

H W A B

Output

Print the number of ways she can travel to the bottom-right cell, modulo 10^9+7.

Sample Input 1

2 3 1 1

Sample Output 1

2

We have a 2×3 grid, but entering the bottom-left cell is forbidden. The number of ways to travel is two: "Right, Right, Down" and "Right, Down, Right".

Sample Input 2

10 7 3 4

Sample Output 2

3570

There are 12 forbidden cells.

Sample Input 3

100000 100000 99999 99999

Sample Output 3

1

Sample Input 4

100000 100000 44444 55555

Sample Output 4

738162020

Solution in C# (Mono 4.6.2.0) (judge verdict: Accepted)

namespace AtCoder.ABC.D042
{
    using System;
    using System.Collections.Generic;
    using System.Linq;
    using System.Numerics;
    using System.IO;

    using AtCoder.ABC.IO;

    public class Quest
    {
        public object Solve(Parser parser)
        {
            int h = parser.Integer();
            int w = parser.Integer();

            int a = parser.Integer();
            int b = parser.Integer();

            long c1 = 1000000007;

            var t = new Table(h + w, c1);

            return Enumerable.Range(b + 1, w - b)
            .Aggregate((long)0, ((sum, i) =>
            {
                long x = t.ModComb(h - a - 1 + (i - 1), i - 1) * t.ModComb(w - i + (a - 1), a - 1) % c1;
                return (sum + x) % c1;
            }));
        }
    }
    public class Table
    {
        private long[] f = null;
        private long[] fInv = null;
        private long mod;

        public Table(int N, long m)
        {
            mod = m;

            // calc factorial
            f = new long[N + 1];
            f[0] = 1;
            for (int i = 1; i <= N; i++)
            {
                f[i] = (f[i - 1] * i) % mod;
            }

            // calc factorial inverse
            fInv = new long[N + 1];
            fInv[N] = ModInv(f[N]);
            for (int i = N; i > 0; i--)
            {
                fInv[i - 1] = (fInv[i] * i) % mod;
            }
        }

        public long ModComb(long n, long k)
        {
            return (((f[n] * fInv[k]) % mod) * fInv[n - k]) % mod;
        }

        public long ModInv(long x)
        {
            return ModPow(x, mod - 2);
        }


        public long ModPow(long x, long n)
        {
            // x^0 = 1
            // x^6 = (x^2)^3
            // x^7 = x*(x^6)

            if (n == 0)
            {
                return 1;
            }
            if (n % 2 == 0)
            {
                return ModPow(x * x % mod, n / 2);
            }

            return (x * ModPow(x, n - 1)) % mod;
        }
    }
    static class Program
    {
        static void Main(string[] args)
        {
            var i = new Parser(Console.OpenStandardInput());
            var o = new Printer(Console.OpenStandardOutput());
            var got = new Quest().Solve(i);
            o.WriteLine(got);
            o.Flush();
        }
    }
}
namespace AtCoder.ABC.IO
{
    #region IO

    using System;
    using System.IO;
    using System.Text;
    using System.Linq;
    using System.Collections.Generic;
    using System.Globalization;

    public class Parser
    {
        public Parser(Stream stream)
        {
            str = stream;
        }

        public readonly Stream str;
        private readonly byte[] buf = new byte[1024];
        private int len, ptr;
        public bool isEof;

        public bool IsEndOfStream
        {
            get { return isEof; }
        }

        public IEnumerable<Parser> Take(int n)
        {
            return Enumerable.Range(1, n).Select(_ => this);
        }

        private byte read()
        {
            if (isEof) return 0;
            if (ptr < len) return buf[ptr++];
            ptr = 0;
            if ((len = str.Read(buf, 0, 1024)) > 0) return buf[ptr++];
            isEof = true;
            return 0;
        }

        public char Char()
        {
            byte b;
            do b = read(); while ((b < 33 || 126 < b) && !isEof);
            return (char)b;
        }

        public string Scan()
        {
            var sb = new StringBuilder();
            for (var b = Char(); b >= 33 && b <= 126; b = (char)read())
                sb.Append(b);
            return sb.ToString();
        }

        public string ScanLine()
        {
            var sb = new StringBuilder();
            for (var b = Char(); b != '\n'; b = (char)read())
                if (b == 0) break;
                else if (b != '\r') sb.Append(b);
            return sb.ToString();
        }

        public long Long()
        {
            if (isEof) return long.MinValue;
            long ret = 0;
            byte b;
            var ng = false;
            do b = read(); while (b != 0 && b != '-' && (b < '0' || '9' < b));
            if (b == 0) return long.MinValue;
            if (b == '-')
            {
                ng = true;
                b = read();
            }
            for (; ; b = read())
            {
                if (b < '0' || '9' < b)
                    return ng ? -ret : ret;
                ret = ret * 10 + b - '0';
            }
        }

        public int Integer()
        {
            return (isEof) ? int.MinValue : (int)Long();
        }

        public double Double()
        {
            var s = Scan();
            return s != "" ? double.Parse(s, CultureInfo.InvariantCulture) : double.NaN;
        }

        static T[] enumerate<T>(int n, Func<T> f)
        {
            var a = new T[n];
            for (int i = 0; i < n; ++i) a[i] = f();
            return a;
        }

        public char[] Char(int n)
        {
            return enumerate(n, Char);
        }

        public string[] Scan(int n)
        {
            return enumerate(n, Scan);
        }

        public double[] Double(int n)
        {
            return enumerate(n, Double);
        }

        public int[] Integer(int n)
        {
            return enumerate(n, Integer);
        }

        public long[] Long(int n)
        {
            return enumerate(n, Long);
        }
    }

    public class Printer : StreamWriter
    {
        public override IFormatProvider FormatProvider
        {
            get { return CultureInfo.InvariantCulture; }
        }

        public Printer(Stream stream)
            : base(stream, new UTF8Encoding(false, true))
        {
        }

        public Printer(Stream stream, Encoding encoding)
            : base(stream, encoding)
        {
        }

        public void Write<T>(string format, T[] source)
        {
            base.Write(format, source.OfType<object>().ToArray());
        }

        public void WriteLine<T>(string format, T[] source)
        {
            base.WriteLine(format, source.OfType<object>().ToArray());
        }
    }

    #endregion

}