RT

#include<bits/stdc++.h>
#define num 1000000007
using namespace std;
unsigned long long xa,ya,x2,y2;
unsigned long long n;
unsigned long long  xj1=100000005,yj1,xj2,yj2=100000005,xl,yl;


int main()
{
	cin>>n>>xa>>ya>>x2>>y2;
	for(int i=1;i<=n;i++)
	{
		cin>>xl>>yl;
		xj1=min(xj1,xl);
		yj1=max(yj1,yl);
		xj2=max(xj2,xl);
		yj2=min(yj2,yl);
		
	}unsigned long long ans;
	unsigned long long a,b,c,d;
	a=xj1-xa+1;b=ya-yj1+1;c=x2-xj2+1;d=yj2-y2+1;
	unsigned long long k1,k2;
	k1=((a%num)*(b%num))%num;
	k2=((c%num)*(d%num))%num;
	 
	ans=((k1%num)*(k2%num))%num;
	cout<<ans;	
	
	
	
	return 0;
}