id	sid	tid	token	lemma	pos
ejpam-830	1	1	1_830_dziok.dvi	1_830_dziok.dvi	NUM
ejpam-830	1	2	european	european	ADJ
ejpam-830	1	3	journal	journal	NOUN
ejpam-830	1	4	of	of	ADP
ejpam-830	1	5	pure	pure	ADJ
ejpam-830	1	6	and	and	CCONJ
ejpam-830	1	7	applied	apply	VERB
ejpam-830	1	8	mathematics	mathematic	NOUN
ejpam-830	1	9	vol	vol	NOUN
ejpam-830	1	10	.	.	PROPN
ejpam-830	2	1	4	4	NUM
ejpam-830	2	2	,	,	PUNCT
ejpam-830	2	3	no	no	INTJ
ejpam-830	2	4	.	.	NOUN
ejpam-830	2	5	4	4	NUM
ejpam-830	2	6	,	,	PUNCT
ejpam-830	2	7	2011	2011	NUM
ejpam-830	2	8	,	,	PUNCT
ejpam-830	2	9	322	322	NUM
ejpam-830	2	10	-	-	SYM
ejpam-830	2	11	329	329	NUM
ejpam-830	2	12	issn	issn	PROPN
ejpam-830	2	13	1307	1307	NUM
ejpam-830	2	14	-	-	SYM
ejpam-830	2	15	5543	5543	NUM
ejpam-830	2	16	–	–	PUNCT
ejpam-830	3	1	www.ejpam.com	www.ejpam.com	X
ejpam-830	3	2	inequalities	inequality	NOUN
ejpam-830	3	3	involving	involve	VERB
ejpam-830	3	4	certain	certain	ADJ
ejpam-830	3	5	integral	integral	ADJ
ejpam-830	3	6	operator	operator	NOUN
ejpam-830	3	7	jacek	jacek	PROPN
ejpam-830	3	8	dziok1,∗	dziok1,∗	PROPN
ejpam-830	3	9	,	,	PUNCT
ejpam-830	3	10	mohamed	mohamed	PROPN
ejpam-830	3	11	kamal	kamal	PROPN
ejpam-830	3	12	aouf2	aouf2	PROPN
ejpam-830	3	13	,	,	PUNCT
ejpam-830	3	14	janusz	janusz	PROPN
ejpam-830	3	15	sokół3	sokół3	NOUN
ejpam-830	3	16	1	1	NUM
ejpam-830	3	17	institue	institue	NOUN
ejpam-830	3	18	of	of	ADP
ejpam-830	3	19	mathematics	mathematic	NOUN
ejpam-830	3	20	,	,	PUNCT
ejpam-830	3	21	university	university	NOUN
ejpam-830	3	22	of	of	ADP
ejpam-830	3	23	rzeszów	rzeszów	PROPN
ejpam-830	3	24	,	,	PUNCT
ejpam-830	3	25	rzeszów	rzeszów	NOUN
ejpam-830	3	26	,	,	PUNCT
ejpam-830	3	27	poland	poland	PROPN
ejpam-830	3	28	2	2	NUM
ejpam-830	3	29	department	department	NOUN
ejpam-830	3	30	of	of	ADP
ejpam-830	3	31	mathematics	mathematics	PROPN
ejpam-830	3	32	faculty	faculty	NOUN
ejpam-830	3	33	of	of	ADP
ejpam-830	3	34	science	science	NOUN
ejpam-830	3	35	,	,	PUNCT
ejpam-830	3	36	mansoura	mansoura	PROPN
ejpam-830	3	37	university	university	NOUN
ejpam-830	3	38	,	,	PUNCT
ejpam-830	3	39	mansoura	mansoura	PROPN
ejpam-830	3	40	,	,	PUNCT
ejpam-830	3	41	egypt	egypt	PROPN
ejpam-830	3	42	3	3	NUM
ejpam-830	3	43	department	department	NOUN
ejpam-830	3	44	of	of	ADP
ejpam-830	3	45	mathematics	mathematics	PROPN
ejpam-830	3	46	,	,	PUNCT
ejpam-830	3	47	rzeszów	rzeszów	PROPN
ejpam-830	3	48	university	university	PROPN
ejpam-830	3	49	of	of	ADP
ejpam-830	3	50	technology	technology	PROPN
ejpam-830	3	51	,	,	PUNCT
ejpam-830	3	52	rzeszów	rzeszów	PROPN
ejpam-830	3	53	,	,	PUNCT
ejpam-830	3	54	poland	poland	PROPN
ejpam-830	3	55	abstract	abstract	NOUN
ejpam-830	3	56	.	.	PUNCT
ejpam-830	4	1	the	the	DET
ejpam-830	4	2	object	object	NOUN
ejpam-830	4	3	of	of	ADP
ejpam-830	4	4	this	this	DET
ejpam-830	4	5	paper	paper	NOUN
ejpam-830	4	6	is	be	AUX
ejpam-830	4	7	to	to	PART
ejpam-830	4	8	give	give	VERB
ejpam-830	4	9	several	several	ADJ
ejpam-830	4	10	strict	strict	ADJ
ejpam-830	4	11	inequalities	inequality	NOUN
ejpam-830	4	12	associated	associate	VERB
ejpam-830	4	13	with	with	ADP
ejpam-830	4	14	the	the	DET
ejpam-830	4	15	operator	operator	NOUN
ejpam-830	4	16	iλ	iλ	VERB
ejpam-830	4	17	p	p	NOUN
ejpam-830	4	18	,	,	PUNCT
ejpam-830	4	19	n	n	CCONJ
ejpam-830	4	20	(	(	PUNCT
ejpam-830	4	21	a	a	DET
ejpam-830	4	22	,	,	PUNCT
ejpam-830	4	23	b	b	NOUN
ejpam-830	4	24	;	;	PUNCT
ejpam-830	4	25	c	c	X
ejpam-830	4	26	)	)	PUNCT
ejpam-830	4	27	(	(	PUNCT
ejpam-830	4	28	a	a	PRON
ejpam-830	4	29	,	,	PUNCT
ejpam-830	4	30	b	b	X
ejpam-830	4	31	∈	∈	PROPN
ejpam-830	4	32	r	r	NOUN
ejpam-830	4	33	\	\	NOUN
ejpam-830	4	34	z−0	z−0	PROPN
ejpam-830	4	35	,	,	PUNCT
ejpam-830	4	36	p	p	X
ejpam-830	4	37	,	,	PUNCT
ejpam-830	4	38	n	n	PROPN
ejpam-830	4	39	∈	∈	PROPN
ejpam-830	5	1	n	n	NOUN
ejpam-830	5	2	=	=	SYM
ejpam-830	5	3	{	{	PUNCT
ejpam-830	5	4	1,2	1,2	NUM
ejpam-830	5	5	,	,	PUNCT
ejpam-830	5	6	.	.	PUNCT
ejpam-830	5	7	.	.	PUNCT
ejpam-830	5	8	.	.	PUNCT
ejpam-830	5	9	}	}	PUNCT
ejpam-830	5	10	,	,	PUNCT
ejpam-830	5	11	λ	λ	X
ejpam-830	5	12	>	>	X
ejpam-830	5	13	−p	−p	NOUN
ejpam-830	5	14	)	)	PUNCT
ejpam-830	5	15	defined	define	VERB
ejpam-830	5	16	by	by	ADP
ejpam-830	5	17	x.-l	x.-l	PROPN
ejpam-830	5	18	.	.	PUNCT
ejpam-830	6	1	fu	fu	PROPN
ejpam-830	6	2	and	and	CCONJ
ejpam-830	6	3	m.-s	m.-	NOUN
ejpam-830	6	4	.	.	PUNCT
ejpam-830	7	1	liu	liu	PROPN
ejpam-830	7	2	,	,	PUNCT
ejpam-830	7	3	some	some	DET
ejpam-830	7	4	subclasses	subclass	NOUN
ejpam-830	7	5	of	of	ADP
ejpam-830	7	6	analytic	analytic	ADJ
ejpam-830	7	7	functions	function	NOUN
ejpam-830	7	8	involving	involve	VERB
ejpam-830	7	9	the	the	DET
ejpam-830	7	10	generalized	generalized	ADJ
ejpam-830	7	11	noor	noor	PROPN
ejpam-830	7	12	integral	integral	ADJ
ejpam-830	7	13	operator	operator	NOUN
ejpam-830	7	14	[	[	X
ejpam-830	7	15	see	see	VERB
ejpam-830	7	16	3	3	NUM
ejpam-830	7	17	]	]	PUNCT
ejpam-830	7	18	.	.	PUNCT
ejpam-830	8	1	2000	2000	NUM
ejpam-830	8	2	mathematics	mathematic	NOUN
ejpam-830	8	3	subject	subject	NOUN
ejpam-830	8	4	classifications	classification	NOUN
ejpam-830	8	5	:	:	PUNCT
ejpam-830	8	6	30c45	30c45	NUM
ejpam-830	8	7	key	key	ADJ
ejpam-830	8	8	words	word	NOUN
ejpam-830	8	9	and	and	CCONJ
ejpam-830	8	10	phrases	phrase	NOUN
ejpam-830	8	11	:	:	PUNCT
ejpam-830	8	12	analytic	analytic	ADJ
ejpam-830	8	13	functions	function	NOUN
ejpam-830	8	14	,	,	PUNCT
ejpam-830	8	15	integral	integral	ADJ
ejpam-830	8	16	operator	operator	NOUN
ejpam-830	8	17	,	,	PUNCT
ejpam-830	8	18	hadamard	hadamard	ADJ
ejpam-830	8	19	product	product	NOUN
ejpam-830	8	20	.	.	PUNCT
ejpam-830	9	1	1	1	X
ejpam-830	9	2	.	.	X
ejpam-830	9	3	introduction	introduction	NOUN
ejpam-830	9	4	letan(p	letan(p	PROPN
ejpam-830	9	5	)	)	PUNCT
ejpam-830	9	6	denote	denote	VERB
ejpam-830	9	7	the	the	DET
ejpam-830	9	8	class	class	NOUN
ejpam-830	9	9	of	of	ADP
ejpam-830	9	10	functions	function	NOUN
ejpam-830	9	11	of	of	ADP
ejpam-830	9	12	the	the	DET
ejpam-830	9	13	form	form	NOUN
ejpam-830	9	14	:	:	PUNCT
ejpam-830	9	15	f	f	PROPN
ejpam-830	9	16	(	(	PUNCT
ejpam-830	9	17	z	z	NOUN
ejpam-830	9	18	)	)	PUNCT
ejpam-830	10	1	=	=	SYM
ejpam-830	10	2	zp	zp	PROPN
ejpam-830	11	1	+	+	CCONJ
ejpam-830	11	2	∞	∞	NUM
ejpam-830	11	3	∑	∑	PUNCT
ejpam-830	11	4	k	k	X
ejpam-830	11	5	=	=	NOUN
ejpam-830	11	6	n	n	ADJ
ejpam-830	11	7	ak+pzk+p	ak+pzk+p	PUNCT
ejpam-830	11	8	(	(	PUNCT
ejpam-830	11	9	p	p	X
ejpam-830	11	10	,	,	PUNCT
ejpam-830	11	11	n	n	CCONJ
ejpam-830	11	12	∈	∈	PROPN
ejpam-830	11	13	n	n	NOUN
ejpam-830	11	14	=	=	SYM
ejpam-830	11	15	{	{	PUNCT
ejpam-830	11	16	1,2	1,2	NUM
ejpam-830	11	17	,	,	PUNCT
ejpam-830	11	18	.	.	PUNCT
ejpam-830	11	19	.	.	PUNCT
ejpam-830	11	20	.	.	PUNCT
ejpam-830	11	21	.	.	PUNCT
ejpam-830	11	22	}	}	PUNCT
ejpam-830	11	23	)	)	PUNCT
ejpam-830	11	24	,	,	PUNCT
ejpam-830	11	25	(	(	PUNCT
ejpam-830	11	26	1	1	X
ejpam-830	11	27	)	)	PUNCT
ejpam-830	11	28	which	which	PRON
ejpam-830	11	29	are	be	AUX
ejpam-830	11	30	analytic	analytic	ADJ
ejpam-830	11	31	and	and	CCONJ
ejpam-830	11	32	p	p	NOUN
ejpam-830	11	33	-	-	PUNCT
ejpam-830	11	34	valent	valent	NOUN
ejpam-830	11	35	in	in	ADP
ejpam-830	11	36	the	the	DET
ejpam-830	11	37	open	open	ADJ
ejpam-830	11	38	unit	unit	NOUN
ejpam-830	11	39	disc	disc	VERB
ejpam-830	11	40	u	u	NOUN
ejpam-830	11	41	=	=	PUNCT
ejpam-830	11	42	{	{	PUNCT
ejpam-830	11	43	z	z	NOUN
ejpam-830	11	44	:	:	PUNCT
ejpam-830	12	1	z	z	X
ejpam-830	12	2	∈	∈	PROPN
ejpam-830	13	1	c	c	NOUN
ejpam-830	13	2	,	,	PUNCT
ejpam-830	13	3	|z|	|z|	VERB
ejpam-830	13	4	<	<	X
ejpam-830	13	5	1	1	NUM
ejpam-830	13	6	}	}	PUNCT
ejpam-830	13	7	.	.	PUNCT
ejpam-830	14	1	for	for	ADP
ejpam-830	14	2	functions	function	NOUN
ejpam-830	14	3	f	f	NOUN
ejpam-830	14	4	given	give	VERB
ejpam-830	14	5	by	by	ADP
ejpam-830	14	6	(	(	PUNCT
ejpam-830	14	7	1	1	NUM
ejpam-830	14	8	)	)	PUNCT
ejpam-830	14	9	and	and	CCONJ
ejpam-830	14	10	g	g	PROPN
ejpam-830	14	11	∈an(p	∈an(p	PROPN
ejpam-830	14	12	)	)	PUNCT
ejpam-830	14	13	given	give	VERB
ejpam-830	14	14	by	by	ADP
ejpam-830	14	15	g(z	g(z	PROPN
ejpam-830	14	16	)	)	PUNCT
ejpam-830	14	17	=	=	PUNCT
ejpam-830	14	18	zp	zp	PROPN
ejpam-830	14	19	+	+	CCONJ
ejpam-830	14	20	∞	∞	NUM
ejpam-830	14	21	∑	∑	PUNCT
ejpam-830	14	22	k	k	X
ejpam-830	14	23	=	=	PROPN
ejpam-830	14	24	n	n	NOUN
ejpam-830	14	25	bk+pzk+p	bk+pzk+p	NUM
ejpam-830	14	26	(	(	PUNCT
ejpam-830	14	27	z	z	PROPN
ejpam-830	14	28	∈	∈	PROPN
ejpam-830	14	29	u	u	NOUN
ejpam-830	14	30	)	)	PUNCT
ejpam-830	14	31	(	(	PUNCT
ejpam-830	14	32	2	2	X
ejpam-830	14	33	)	)	PUNCT
ejpam-830	14	34	the	the	DET
ejpam-830	14	35	hadamard	hadamard	ADJ
ejpam-830	14	36	product	product	NOUN
ejpam-830	14	37	(	(	PUNCT
ejpam-830	14	38	or	or	CCONJ
ejpam-830	14	39	convolution	convolution	NOUN
ejpam-830	14	40	)	)	PUNCT
ejpam-830	14	41	of	of	ADP
ejpam-830	14	42	f	f	PROPN
ejpam-830	14	43	and	and	CCONJ
ejpam-830	14	44	g	g	PROPN
ejpam-830	14	45	is	be	AUX
ejpam-830	14	46	defined	define	VERB
ejpam-830	14	47	by	by	ADP
ejpam-830	14	48	(	(	PUNCT
ejpam-830	14	49	f	f	PROPN
ejpam-830	14	50	∗	∗	PROPN
ejpam-830	14	51	g)(z	g)(z	PUNCT
ejpam-830	14	52	)	)	PUNCT
ejpam-830	15	1	=	=	SYM
ejpam-830	15	2	zp	zp	NOUN
ejpam-830	16	1	+	+	CCONJ
ejpam-830	16	2	∞	∞	NUM
ejpam-830	16	3	∑	∑	PUNCT
ejpam-830	16	4	k	k	X
ejpam-830	16	5	=	=	PROPN
ejpam-830	16	6	n	n	PROPN
ejpam-830	16	7	ak+p	ak+p	PROPN
ejpam-830	16	8	bk+pzk+p	bk+pzk+p	PROPN
ejpam-830	16	9	=	=	PUNCT
ejpam-830	16	10	(	(	PUNCT
ejpam-830	16	11	g	g	PROPN
ejpam-830	16	12	∗	∗	X
ejpam-830	16	13	f	f	PROPN
ejpam-830	16	14	)	)	PUNCT
ejpam-830	16	15	(	(	PUNCT
ejpam-830	16	16	z	z	NOUN
ejpam-830	16	17	)	)	PUNCT
ejpam-830	16	18	.	.	PUNCT
ejpam-830	17	1	∗corresponding	∗corresponde	VERB
ejpam-830	17	2	author	author	NOUN
ejpam-830	17	3	.	.	PUNCT
ejpam-830	18	1	email	email	NOUN
ejpam-830	18	2	addresses	address	NOUN
ejpam-830	18	3	:	:	PUNCT
ejpam-830	18	4	jdziok�univ.rzeszow.pl	jdziok�univ.rzeszow.pl	PROPN
ejpam-830	18	5	(	(	PUNCT
ejpam-830	18	6	j.	j.	PROPN
ejpam-830	18	7	dziok	dziok	PROPN
ejpam-830	18	8	)	)	PUNCT
ejpam-830	18	9	,	,	PUNCT
ejpam-830	18	10	mkaouf127	mkaouf127	PROPN
ejpam-830	18	11	�	�	PROPN
ejpam-830	18	12	yahoo	yahoo	PROPN
ejpam-830	18	13	.	.	PUNCT
ejpam-830	18	14	om	om	PROPN
ejpam-830	18	15	(	(	PUNCT
ejpam-830	18	16	m.	m.	NOUN
ejpam-830	18	17	aouf),jsokol	aouf),jsokol	PROPN
ejpam-830	18	18	�	�	PROPN
ejpam-830	18	19	prz.edu.pl	prz.edu.pl	PROPN
ejpam-830	18	20	(	(	PUNCT
ejpam-830	18	21	j.	j.	PROPN
ejpam-830	18	22	sokół	sokół	PROPN
ejpam-830	18	23	)	)	PUNCT
ejpam-830	18	24	http://www.ejpam.com	http://www.ejpam.com	X
ejpam-830	19	1	322	322	NUM
ejpam-830	19	2	c	c	NOUN
ejpam-830	19	3	©	©	PROPN
ejpam-830	19	4	2011	2011	NUM
ejpam-830	19	5	ejpam	ejpam	VERB
ejpam-830	19	6	all	all	DET
ejpam-830	19	7	rights	right	NOUN
ejpam-830	19	8	reserved	reserve	VERB
ejpam-830	19	9	.	.	PUNCT
ejpam-830	20	1	j.	j.	PROPN
ejpam-830	20	2	dziok	dziok	PROPN
ejpam-830	20	3	,	,	PUNCT
ejpam-830	20	4	m.	m.	NOUN
ejpam-830	20	5	aouf	aouf	PROPN
ejpam-830	20	6	,	,	PUNCT
ejpam-830	20	7	j.	j.	PROPN
ejpam-830	20	8	sokół	sokół	PROPN
ejpam-830	20	9	/	/	SYM
ejpam-830	20	10	eur	eur	PROPN
ejpam-830	20	11	.	.	PUNCT
ejpam-830	21	1	j.	j.	PROPN
ejpam-830	21	2	pure	pure	PROPN
ejpam-830	21	3	appl	appl	PROPN
ejpam-830	21	4	.	.	PROPN
ejpam-830	21	5	math	math	PROPN
ejpam-830	21	6	,	,	PUNCT
ejpam-830	21	7	4	4	NUM
ejpam-830	21	8	(	(	PUNCT
ejpam-830	21	9	2011	2011	NUM
ejpam-830	21	10	)	)	PUNCT
ejpam-830	21	11	,	,	PUNCT
ejpam-830	21	12	322	322	NUM
ejpam-830	21	13	-	-	SYM
ejpam-830	21	14	329	329	NUM
ejpam-830	21	15	323	323	NUM
ejpam-830	21	16	for	for	ADP
ejpam-830	21	17	real	real	ADJ
ejpam-830	21	18	or	or	CCONJ
ejpam-830	21	19	complex	complex	ADJ
ejpam-830	21	20	numbers	number	NOUN
ejpam-830	21	21	a	a	DET
ejpam-830	21	22	,	,	PUNCT
ejpam-830	21	23	b	b	NOUN
ejpam-830	21	24	,	,	PUNCT
ejpam-830	21	25	c	c	X
ejpam-830	21	26	other	other	ADJ
ejpam-830	21	27	than	than	ADP
ejpam-830	21	28	0,−1,−2	0,−1,−2	NUM
ejpam-830	21	29	,	,	PUNCT
ejpam-830	21	30	.	.	PUNCT
ejpam-830	21	31	.	.	PUNCT
ejpam-830	22	1	.	.	PUNCT
ejpam-830	22	2	,	,	PUNCT
ejpam-830	22	3	the	the	DET
ejpam-830	22	4	gaussian	gaussian	ADJ
ejpam-830	22	5	hypergeometric	hypergeometric	ADJ
ejpam-830	22	6	series	series	NOUN
ejpam-830	22	7	is	be	AUX
ejpam-830	22	8	defined	define	VERB
ejpam-830	22	9	by	by	ADP
ejpam-830	22	10	2f1(a	2f1(a	NUM
ejpam-830	22	11	,	,	PUNCT
ejpam-830	22	12	b	b	NOUN
ejpam-830	22	13	;	;	PUNCT
ejpam-830	23	1	c	c	X
ejpam-830	23	2	;	;	PUNCT
ejpam-830	23	3	z	z	X
ejpam-830	23	4	)	)	PUNCT
ejpam-830	23	5	=	=	SYM
ejpam-830	24	1	∞	∞	PROPN
ejpam-830	24	2	∑	∑	PUNCT
ejpam-830	24	3	k=0	k=0	X
ejpam-830	24	4	(	(	PUNCT
ejpam-830	24	5	a)k(b)k	a)k(b)k	PROPN
ejpam-830	24	6	(	(	PUNCT
ejpam-830	24	7	c)k(1)k	c)k(1)k	PROPN
ejpam-830	24	8	zk	zk	PROPN
ejpam-830	24	9	,	,	PUNCT
ejpam-830	24	10	(	(	PUNCT
ejpam-830	24	11	3	3	X
ejpam-830	24	12	)	)	PUNCT
ejpam-830	24	13	where	where	SCONJ
ejpam-830	24	14	(	(	PUNCT
ejpam-830	24	15	d)k	d)k	X
ejpam-830	24	16	=	=	SYM
ejpam-830	24	17	¨	¨	NOUN
ejpam-830	24	18	1	1	NUM
ejpam-830	24	19	(	(	PUNCT
ejpam-830	24	20	k	k	NOUN
ejpam-830	24	21	=	=	SYM
ejpam-830	24	22	0	0	NUM
ejpam-830	24	23	;	;	PUNCT
ejpam-830	24	24	d	d	PROPN
ejpam-830	24	25	∈	∈	PROPN
ejpam-830	24	26	c	c	X
ejpam-830	24	27	\	\	X
ejpam-830	24	28	{	{	PUNCT
ejpam-830	24	29	0	0	NUM
ejpam-830	24	30	}	}	PUNCT
ejpam-830	24	31	)	)	PUNCT
ejpam-830	24	32	,	,	PUNCT
ejpam-830	24	33	d(d	d(d	PROPN
ejpam-830	24	34	+	+	CCONJ
ejpam-830	24	35	1	1	NUM
ejpam-830	24	36	)	)	PUNCT
ejpam-830	24	37	.	.	PUNCT
ejpam-830	24	38	.	.	PUNCT
ejpam-830	24	39	.	.	PUNCT
ejpam-830	25	1	(	(	PUNCT
ejpam-830	25	2	d	d	X
ejpam-830	25	3	+	+	NUM
ejpam-830	25	4	k−	k−	PROPN
ejpam-830	25	5	1	1	NUM
ejpam-830	25	6	)	)	PUNCT
ejpam-830	25	7	(	(	PUNCT
ejpam-830	25	8	k	k	PROPN
ejpam-830	25	9	∈	∈	PROPN
ejpam-830	25	10	n	n	CCONJ
ejpam-830	25	11	;	;	PUNCT
ejpam-830	25	12	d	d	PROPN
ejpam-830	25	13	∈	∈	PROPN
ejpam-830	25	14	c	c	X
ejpam-830	25	15	)	)	PUNCT
ejpam-830	25	16	,	,	PUNCT
ejpam-830	25	17	we	we	PRON
ejpam-830	25	18	note	note	VERB
ejpam-830	25	19	that	that	SCONJ
ejpam-830	25	20	the	the	DET
ejpam-830	25	21	series	series	NOUN
ejpam-830	25	22	(	(	PUNCT
ejpam-830	25	23	3	3	X
ejpam-830	25	24	)	)	PUNCT
ejpam-830	25	25	converges	converge	VERB
ejpam-830	25	26	absolutely	absolutely	ADV
ejpam-830	25	27	for	for	ADP
ejpam-830	25	28	all	all	DET
ejpam-830	25	29	z	z	NOUN
ejpam-830	25	30	∈	∈	NOUN
ejpam-830	25	31	u	u	NOUN
ejpam-830	25	32	so	so	SCONJ
ejpam-830	25	33	that	that	SCONJ
ejpam-830	25	34	it	it	PRON
ejpam-830	25	35	represents	represent	VERB
ejpam-830	25	36	an	an	DET
ejpam-830	25	37	analytic	analytic	ADJ
ejpam-830	25	38	function	function	NOUN
ejpam-830	25	39	in	in	ADP
ejpam-830	25	40	u	u	NOUN
ejpam-830	25	41	(	(	PUNCT
ejpam-830	25	42	see	see	VERB
ejpam-830	25	43	[	[	X
ejpam-830	25	44	8	8	NUM
ejpam-830	25	45	]	]	NUM
ejpam-830	25	46	)	)	PUNCT
ejpam-830	25	47	.	.	PUNCT
ejpam-830	26	1	with	with	ADP
ejpam-830	26	2	the	the	DET
ejpam-830	26	3	aid	aid	NOUN
ejpam-830	26	4	of	of	ADP
ejpam-830	26	5	the	the	DET
ejpam-830	26	6	gaussian	gaussian	ADJ
ejpam-830	26	7	hypergeometric	hypergeometric	ADJ
ejpam-830	26	8	function	function	NOUN
ejpam-830	26	9	2f1(a	2f1(a	NUM
ejpam-830	26	10	,	,	PUNCT
ejpam-830	26	11	b	b	NOUN
ejpam-830	26	12	;	;	PUNCT
ejpam-830	26	13	c	c	X
ejpam-830	26	14	;	;	PUNCT
ejpam-830	26	15	z	z	X
ejpam-830	26	16	)	)	PUNCT
ejpam-830	26	17	,	,	PUNCT
ejpam-830	26	18	let	let	VERB
ejpam-830	26	19	us	we	PRON
ejpam-830	26	20	consider	consider	VERB
ejpam-830	26	21	a	a	DET
ejpam-830	26	22	family	family	NOUN
ejpam-830	26	23	of	of	ADP
ejpam-830	26	24	linear	linear	PROPN
ejpam-830	26	25	operators	operator	NOUN
ejpam-830	26	26	iλp	iλp	VERB
ejpam-830	26	27	,	,	PUNCT
ejpam-830	26	28	n	n	CCONJ
ejpam-830	26	29	:	:	PUNCT
ejpam-830	26	30	an(p)→an(p	an(p)→an(p	ADJ
ejpam-830	26	31	)	)	PUNCT
ejpam-830	26	32	as	as	SCONJ
ejpam-830	26	33	follows	follow	VERB
ejpam-830	26	34	:	:	PUNCT
ejpam-830	26	35	iλp	iλp	NUM
ejpam-830	26	36	,	,	PUNCT
ejpam-830	26	37	n(a	n(a	PROPN
ejpam-830	26	38	,	,	PUNCT
ejpam-830	27	1	b	b	NOUN
ejpam-830	27	2	;	;	PUNCT
ejpam-830	27	3	c	c	X
ejpam-830	27	4	)	)	PUNCT
ejpam-830	27	5	f	f	NOUN
ejpam-830	27	6	(	(	PUNCT
ejpam-830	27	7	z	z	NOUN
ejpam-830	27	8	)	)	PUNCT
ejpam-830	27	9	=	=	SYM
ejpam-830	28	1	zp	zp	PROPN
ejpam-830	29	1	+	+	CCONJ
ejpam-830	29	2	∞	∞	NUM
ejpam-830	29	3	∑	∑	PUNCT
ejpam-830	29	4	k	k	X
ejpam-830	29	5	=	=	PROPN
ejpam-830	29	6	n	n	PRON
ejpam-830	29	7	(	(	PUNCT
ejpam-830	29	8	c)k(λ+	c)k(λ+	PROPN
ejpam-830	29	9	p)k	p)k	NOUN
ejpam-830	29	10	(	(	PUNCT
ejpam-830	29	11	a)k(b)k	a)k(b)k	NOUN
ejpam-830	29	12	ak+pzk+p	ak+pzk+p	NOUN
ejpam-830	29	13	=	=	PUNCT
ejpam-830	29	14	zp	zp	PROPN
ejpam-830	29	15	2f1(c	2f1(c	NUM
ejpam-830	29	16	,	,	PUNCT
ejpam-830	29	17	1	1	NUM
ejpam-830	29	18	;	;	PUNCT
ejpam-830	29	19	a	a	PRON
ejpam-830	29	20	;	;	PUNCT
ejpam-830	29	21	z	z	X
ejpam-830	29	22	)	)	PUNCT
ejpam-830	29	23	∗	∗	NOUN
ejpam-830	29	24	zp	zp	NOUN
ejpam-830	29	25	2f1(λ+	2f1(λ+	NUM
ejpam-830	30	1	p	p	NOUN
ejpam-830	30	2	,	,	PUNCT
ejpam-830	30	3	1	1	NUM
ejpam-830	30	4	;	;	PUNCT
ejpam-830	30	5	b	b	X
ejpam-830	30	6	;	;	PUNCT
ejpam-830	30	7	z	z	X
ejpam-830	30	8	)	)	PUNCT
ejpam-830	30	9	(	(	PUNCT
ejpam-830	30	10	a	a	DET
ejpam-830	30	11	,	,	PUNCT
ejpam-830	30	12	b	b	NOUN
ejpam-830	30	13	,	,	PUNCT
ejpam-830	30	14	c	c	PROPN
ejpam-830	30	15	∈	∈	PROPN
ejpam-830	30	16	r	r	NOUN
ejpam-830	30	17	\z−0	\z−0	NOUN
ejpam-830	30	18	;	;	PUNCT
ejpam-830	30	19	λ	λ	X
ejpam-830	30	20	>	>	X
ejpam-830	30	21	−p	−p	NOUN
ejpam-830	30	22	;	;	PUNCT
ejpam-830	30	23	z	z	PROPN
ejpam-830	30	24	∈	∈	PROPN
ejpam-830	30	25	u	u	NOUN
ejpam-830	30	26	)	)	PUNCT
ejpam-830	30	27	.	.	PUNCT
ejpam-830	31	1	(	(	PUNCT
ejpam-830	31	2	4	4	X
ejpam-830	31	3	)	)	PUNCT
ejpam-830	31	4	the	the	DET
ejpam-830	31	5	operator	operator	NOUN
ejpam-830	31	6	iλp	iλp	VERB
ejpam-830	31	7	,	,	PUNCT
ejpam-830	31	8	n	n	PRON
ejpam-830	31	9	was	be	AUX
ejpam-830	31	10	introduced	introduce	VERB
ejpam-830	31	11	and	and	CCONJ
ejpam-830	31	12	studied	study	VERB
ejpam-830	31	13	by	by	ADP
ejpam-830	31	14	fu	fu	NOUN
ejpam-830	31	15	and	and	CCONJ
ejpam-830	31	16	liu	liu	PROPN
ejpam-830	32	1	[	[	X
ejpam-830	32	2	3	3	NUM
ejpam-830	32	3	]	]	PUNCT
ejpam-830	32	4	.	.	PUNCT
ejpam-830	33	1	we	we	PRON
ejpam-830	33	2	note	note	VERB
ejpam-830	33	3	that	that	SCONJ
ejpam-830	33	4	:	:	PUNCT
ejpam-830	33	5	(	(	PUNCT
ejpam-830	33	6	i	i	NOUN
ejpam-830	33	7	)	)	PUNCT
ejpam-830	33	8	in	in	ADP
ejpam-830	33	9	1,1(a	1,1(a	NUM
ejpam-830	33	10	,	,	PUNCT
ejpam-830	33	11	n+1	n+1	PROPN
ejpam-830	33	12	;	;	PUNCT
ejpam-830	33	13	a	a	X
ejpam-830	33	14	)	)	PUNCT
ejpam-830	33	15	f	f	NOUN
ejpam-830	33	16	(	(	PUNCT
ejpam-830	33	17	z	z	NOUN
ejpam-830	33	18	)	)	PUNCT
ejpam-830	33	19	=	=	PUNCT
ejpam-830	33	20	in	in	ADP
ejpam-830	33	21	f	f	PROPN
ejpam-830	33	22	(	(	PUNCT
ejpam-830	33	23	z	z	NOUN
ejpam-830	33	24	)	)	PUNCT
ejpam-830	33	25	(	(	PUNCT
ejpam-830	33	26	n	n	CCONJ
ejpam-830	33	27	>	>	X
ejpam-830	33	28	−1	−1	NOUN
ejpam-830	33	29	)	)	PUNCT
ejpam-830	33	30	,	,	PUNCT
ejpam-830	33	31	where	where	SCONJ
ejpam-830	33	32	in	in	ADP
ejpam-830	33	33	is	be	AUX
ejpam-830	33	34	the	the	DET
ejpam-830	33	35	noor	noor	PROPN
ejpam-830	33	36	integral	integral	ADJ
ejpam-830	33	37	operator	operator	NOUN
ejpam-830	33	38	of	of	ADP
ejpam-830	33	39	n−	n−	NOUN
ejpam-830	33	40	th	th	X
ejpam-830	33	41	order	order	NOUN
ejpam-830	34	1	[	[	X
ejpam-830	34	2	see	see	VERB
ejpam-830	34	3	6	6	NUM
ejpam-830	34	4	]	]	PUNCT
ejpam-830	34	5	;	;	PUNCT
ejpam-830	34	6	(	(	PUNCT
ejpam-830	34	7	ii	ii	NOUN
ejpam-830	34	8	)	)	PUNCT
ejpam-830	34	9	iλ1,1(µ	iλ1,1(µ	PROPN
ejpam-830	34	10	+	+	CCONJ
ejpam-830	34	11	2,1	2,1	NUM
ejpam-830	34	12	;	;	PUNCT
ejpam-830	34	13	1	1	X
ejpam-830	34	14	)	)	PUNCT
ejpam-830	34	15	f	f	NOUN
ejpam-830	34	16	(	(	PUNCT
ejpam-830	34	17	z	z	NOUN
ejpam-830	34	18	)	)	PUNCT
ejpam-830	34	19	=	=	SYM
ejpam-830	34	20	iµ,λ	iµ,λ	PUNCT
ejpam-830	34	21	f	f	PROPN
ejpam-830	34	22	(	(	PUNCT
ejpam-830	34	23	z	z	NOUN
ejpam-830	34	24	)	)	PUNCT
ejpam-830	34	25	(	(	PUNCT
ejpam-830	34	26	µ	µ	X
ejpam-830	34	27	>	>	X
ejpam-830	34	28	−2,λ	−2,λ	PROPN
ejpam-830	34	29	>	>	SYM
ejpam-830	34	30	−1	−1	NOUN
ejpam-830	34	31	)	)	PUNCT
ejpam-830	34	32	,	,	PUNCT
ejpam-830	34	33	where	where	SCONJ
ejpam-830	34	34	iµ,λ	iµ,λ	ADP
ejpam-830	34	35	is	be	AUX
ejpam-830	34	36	the	the	DET
ejpam-830	34	37	choi	choi	NOUN
ejpam-830	34	38	–	–	PUNCT
ejpam-830	34	39	saigo	saigo	PROPN
ejpam-830	34	40	–	–	PUNCT
ejpam-830	34	41	srivastava	srivastava	NOUN
ejpam-830	34	42	operator	operator	NOUN
ejpam-830	34	43	[	[	X
ejpam-830	34	44	see	see	VERB
ejpam-830	34	45	2	2	NUM
ejpam-830	34	46	]	]	PUNCT
ejpam-830	34	47	;	;	PUNCT
ejpam-830	34	48	(	(	PUNCT
ejpam-830	34	49	iii	iii	NOUN
ejpam-830	34	50	)	)	PUNCT
ejpam-830	34	51	iλp,1(λ	iλp,1(λ	PUNCT
ejpam-830	35	1	+	+	X
ejpam-830	35	2	p	p	X
ejpam-830	35	3	+	+	NUM
ejpam-830	35	4	1	1	NUM
ejpam-830	35	5	,	,	PUNCT
ejpam-830	35	6	b	b	NOUN
ejpam-830	35	7	;	;	PUNCT
ejpam-830	35	8	b	b	X
ejpam-830	35	9	)	)	PUNCT
ejpam-830	35	10	f	f	NOUN
ejpam-830	35	11	(	(	PUNCT
ejpam-830	35	12	z	z	NOUN
ejpam-830	35	13	)	)	PUNCT
ejpam-830	35	14	=	=	SYM
ejpam-830	35	15	fλ	fλ	PRON
ejpam-830	35	16	,	,	PUNCT
ejpam-830	35	17	p	p	X
ejpam-830	35	18	(	(	PUNCT
ejpam-830	35	19	f	f	PROPN
ejpam-830	35	20	)	)	PUNCT
ejpam-830	35	21	(	(	PUNCT
ejpam-830	35	22	z	z	NOUN
ejpam-830	35	23	)	)	PUNCT
ejpam-830	35	24	(	(	PUNCT
ejpam-830	35	25	λ	λ	X
ejpam-830	35	26	>	>	X
ejpam-830	35	27	−p	−p	NOUN
ejpam-830	35	28	)	)	PUNCT
ejpam-830	35	29	,	,	PUNCT
ejpam-830	35	30	where	where	SCONJ
ejpam-830	35	31	fλ	fλ	X
ejpam-830	35	32	,	,	PUNCT
ejpam-830	35	33	p	p	X
ejpam-830	35	34	(	(	PUNCT
ejpam-830	35	35	f	f	PROPN
ejpam-830	35	36	)	)	PUNCT
ejpam-830	35	37	(	(	PUNCT
ejpam-830	35	38	z	z	NOUN
ejpam-830	35	39	)	)	PUNCT
ejpam-830	35	40	is	be	AUX
ejpam-830	35	41	the	the	DET
ejpam-830	35	42	generalized	generalized	ADJ
ejpam-830	35	43	bernardi	bernardi	PROPN
ejpam-830	35	44	–	–	PUNCT
ejpam-830	35	45	libera	libera	NOUN
ejpam-830	35	46	–	–	PUNCT
ejpam-830	35	47	livingston	livingston	NOUN
ejpam-830	35	48	operator	operator	NOUN
ejpam-830	35	49	[	[	AUX
ejpam-830	35	50	see	see	VERB
ejpam-830	35	51	2	2	NUM
ejpam-830	35	52	]	]	PUNCT
ejpam-830	35	53	;	;	PUNCT
ejpam-830	35	54	(	(	PUNCT
ejpam-830	35	55	iv	iv	X
ejpam-830	35	56	)	)	PUNCT
ejpam-830	35	57	iλp,1(a	iλp,1(a	NOUN
ejpam-830	35	58	,	,	PUNCT
ejpam-830	35	59	1	1	NUM
ejpam-830	35	60	;	;	PUNCT
ejpam-830	35	61	c	c	X
ejpam-830	35	62	)	)	PUNCT
ejpam-830	35	63	f	f	NOUN
ejpam-830	35	64	(	(	PUNCT
ejpam-830	35	65	z	z	NOUN
ejpam-830	35	66	)	)	PUNCT
ejpam-830	35	67	=	=	SYM
ejpam-830	35	68	iλp	iλp	PROPN
ejpam-830	35	69	(	(	PUNCT
ejpam-830	35	70	a	a	PRON
ejpam-830	35	71	,	,	PUNCT
ejpam-830	35	72	c	c	NOUN
ejpam-830	35	73	)	)	PUNCT
ejpam-830	35	74	f	f	NOUN
ejpam-830	35	75	(	(	PUNCT
ejpam-830	35	76	z	z	NOUN
ejpam-830	35	77	)	)	PUNCT
ejpam-830	35	78	(	(	PUNCT
ejpam-830	35	79	a	a	X
ejpam-830	35	80	,	,	PUNCT
ejpam-830	35	81	c	c	PROPN
ejpam-830	35	82	∈	∈	PROPN
ejpam-830	35	83	r\z−0	r\z−0	NOUN
ejpam-830	35	84	,	,	PUNCT
ejpam-830	35	85	λ	λ	X
ejpam-830	35	86	>	>	X
ejpam-830	35	87	−p	−p	NOUN
ejpam-830	35	88	)	)	PUNCT
ejpam-830	35	89	,	,	PUNCT
ejpam-830	35	90	where	where	SCONJ
ejpam-830	35	91	iλp	iλp	VERB
ejpam-830	35	92	(	(	PUNCT
ejpam-830	35	93	a	a	PRON
ejpam-830	35	94	,	,	PUNCT
ejpam-830	35	95	c	c	NOUN
ejpam-830	35	96	)	)	PUNCT
ejpam-830	35	97	is	be	AUX
ejpam-830	35	98	the	the	DET
ejpam-830	35	99	cho	cho	PROPN
ejpam-830	35	100	–	–	PUNCT
ejpam-830	35	101	kwon	kwon	PROPN
ejpam-830	35	102	–	–	PUNCT
ejpam-830	35	103	srivastava	srivastava	NOUN
ejpam-830	35	104	operator	operator	NOUN
ejpam-830	35	105	[	[	X
ejpam-830	35	106	see	see	VERB
ejpam-830	35	107	1	1	NUM
ejpam-830	35	108	]	]	PUNCT
ejpam-830	35	109	;	;	PUNCT
ejpam-830	35	110	(	(	PUNCT
ejpam-830	35	111	v	v	NOUN
ejpam-830	35	112	)	)	PUNCT
ejpam-830	35	113	i1	i1	PROPN
ejpam-830	35	114	p,1(n	p,1(n	NOUN
ejpam-830	36	1	+	+	CCONJ
ejpam-830	36	2	p	p	X
ejpam-830	36	3	,	,	PUNCT
ejpam-830	36	4	c	c	X
ejpam-830	36	5	;	;	PUNCT
ejpam-830	36	6	c	c	X
ejpam-830	36	7	)	)	PUNCT
ejpam-830	36	8	f	f	NOUN
ejpam-830	36	9	(	(	PUNCT
ejpam-830	36	10	z	z	NOUN
ejpam-830	36	11	)	)	PUNCT
ejpam-830	36	12	=	=	PUNCT
ejpam-830	36	13	in	in	ADP
ejpam-830	36	14	,	,	PUNCT
ejpam-830	36	15	p	p	PROPN
ejpam-830	36	16	f	f	X
ejpam-830	36	17	(	(	PUNCT
ejpam-830	36	18	z	z	NOUN
ejpam-830	36	19	)	)	PUNCT
ejpam-830	36	20	(	(	PUNCT
ejpam-830	36	21	n	n	CCONJ
ejpam-830	36	22	>	>	X
ejpam-830	36	23	−p	−p	NOUN
ejpam-830	36	24	)	)	PUNCT
ejpam-830	37	1	,	,	PUNCT
ejpam-830	37	2	where	where	SCONJ
ejpam-830	37	3	in	in	ADV
ejpam-830	37	4	,	,	PUNCT
ejpam-830	37	5	p	p	NOUN
ejpam-830	37	6	is	be	AUX
ejpam-830	37	7	the	the	DET
ejpam-830	37	8	noor	noor	PROPN
ejpam-830	37	9	integral	integral	ADJ
ejpam-830	37	10	operator	operator	NOUN
ejpam-830	37	11	of	of	ADP
ejpam-830	37	12	(	(	PUNCT
ejpam-830	37	13	n+	n+	NUM
ejpam-830	37	14	p−	p−	PROPN
ejpam-830	37	15	1)−	1)−	PROPN
ejpam-830	37	16	th	th	NUM
ejpam-830	37	17	order	order	NOUN
ejpam-830	37	18	(	(	PUNCT
ejpam-830	37	19	see	see	VERB
ejpam-830	37	20	liu	liu	PROPN
ejpam-830	37	21	and	and	CCONJ
ejpam-830	37	22	noor	noor	PROPN
ejpam-830	38	1	[	[	X
ejpam-830	38	2	4	4	X
ejpam-830	38	3	]	]	PUNCT
ejpam-830	38	4	and	and	CCONJ
ejpam-830	38	5	patel	patel	NOUN
ejpam-830	38	6	and	and	CCONJ
ejpam-830	38	7	cho	cho	VERB
ejpam-830	39	1	[	[	X
ejpam-830	39	2	7	7	NUM
ejpam-830	39	3	]	]	NUM
ejpam-830	39	4	)	)	PUNCT
ejpam-830	39	5	.	.	PUNCT
ejpam-830	40	1	also	also	ADV
ejpam-830	40	2	it	it	PRON
ejpam-830	40	3	is	be	AUX
ejpam-830	40	4	easily	easily	ADV
ejpam-830	40	5	to	to	PART
ejpam-830	40	6	show	show	VERB
ejpam-830	40	7	that	that	SCONJ
ejpam-830	40	8	[	[	X
ejpam-830	40	9	see	see	VERB
ejpam-830	40	10	3	3	NUM
ejpam-830	40	11	]	]	NOUN
ejpam-830	40	12	:	:	PUNCT
ejpam-830	40	13	iλp	iλp	PROPN
ejpam-830	40	14	,	,	PUNCT
ejpam-830	40	15	n(a	n(a	NOUN
ejpam-830	40	16	,	,	PUNCT
ejpam-830	40	17	λ+	λ+	PUNCT
ejpam-830	40	18	p	p	X
ejpam-830	40	19	;	;	PUNCT
ejpam-830	40	20	a	a	X
ejpam-830	40	21	)	)	PUNCT
ejpam-830	40	22	f	f	NOUN
ejpam-830	40	23	(	(	PUNCT
ejpam-830	40	24	z	z	NOUN
ejpam-830	40	25	)	)	PUNCT
ejpam-830	40	26	=	=	SYM
ejpam-830	40	27	i1	i1	PROPN
ejpam-830	41	1	p	p	X
ejpam-830	41	2	,	,	PUNCT
ejpam-830	41	3	n(p+	n(p+	PROPN
ejpam-830	41	4	1	1	NUM
ejpam-830	41	5	,	,	PUNCT
ejpam-830	41	6	b	b	NOUN
ejpam-830	41	7	;	;	PUNCT
ejpam-830	41	8	b	b	X
ejpam-830	41	9	)	)	PUNCT
ejpam-830	41	10	f	f	NOUN
ejpam-830	41	11	(	(	PUNCT
ejpam-830	41	12	z	z	NOUN
ejpam-830	41	13	)	)	PUNCT
ejpam-830	42	1	=	=	SYM
ejpam-830	42	2	f	f	X
ejpam-830	42	3	(	(	PUNCT
ejpam-830	42	4	z	z	NOUN
ejpam-830	42	5	)	)	PUNCT
ejpam-830	42	6	and	and	CCONJ
ejpam-830	42	7	i1	i1	PROPN
ejpam-830	42	8	p	p	PROPN
ejpam-830	42	9	,	,	PUNCT
ejpam-830	42	10	n(a	n(a	PROPN
ejpam-830	42	11	,	,	PUNCT
ejpam-830	42	12	p	p	X
ejpam-830	42	13	;	;	PUNCT
ejpam-830	42	14	a	a	X
ejpam-830	42	15	)	)	PUNCT
ejpam-830	42	16	f	f	NOUN
ejpam-830	42	17	(	(	PUNCT
ejpam-830	42	18	z	z	NOUN
ejpam-830	42	19	)	)	PUNCT
ejpam-830	42	20	=	=	PUNCT
ejpam-830	42	21	z	z	X
ejpam-830	42	22	f	f	NOUN
ejpam-830	42	23	′(z	′(z	NOUN
ejpam-830	42	24	)	)	PUNCT
ejpam-830	42	25	p	p	NOUN
ejpam-830	42	26	,	,	PUNCT
ejpam-830	42	27	z	z	PROPN
ejpam-830	42	28	�	�	PROPN
ejpam-830	42	29	iλp	iλp	PROPN
ejpam-830	42	30	,	,	PUNCT
ejpam-830	42	31	n(a	n(a	PROPN
ejpam-830	42	32	,	,	PUNCT
ejpam-830	42	33	b	b	NOUN
ejpam-830	42	34	;	;	PUNCT
ejpam-830	42	35	c	c	X
ejpam-830	42	36	)	)	PUNCT
ejpam-830	42	37	f	f	NOUN
ejpam-830	42	38	(	(	PUNCT
ejpam-830	42	39	z	z	NOUN
ejpam-830	42	40	)	)	PUNCT
ejpam-830	42	41	�	�	PROPN
ejpam-830	42	42	′	′	NOUN
ejpam-830	42	43	=	=	PUNCT
ejpam-830	42	44	(	(	PUNCT
ejpam-830	42	45	λ+	λ+	X
ejpam-830	42	46	p)iλ+1	p)iλ+1	X
ejpam-830	42	47	p	p	NOUN
ejpam-830	42	48	,	,	PUNCT
ejpam-830	42	49	n	n	CCONJ
ejpam-830	42	50	(	(	PUNCT
ejpam-830	42	51	a	a	DET
ejpam-830	42	52	,	,	PUNCT
ejpam-830	42	53	b	b	NOUN
ejpam-830	42	54	;	;	PUNCT
ejpam-830	42	55	c	c	X
ejpam-830	42	56	)	)	PUNCT
ejpam-830	42	57	f	f	NOUN
ejpam-830	42	58	(	(	PUNCT
ejpam-830	42	59	z)−λiλp	z)−λiλp	PROPN
ejpam-830	42	60	,	,	PUNCT
ejpam-830	42	61	n(a	n(a	X
ejpam-830	42	62	,	,	PUNCT
ejpam-830	42	63	b	b	NOUN
ejpam-830	42	64	;	;	PUNCT
ejpam-830	42	65	c	c	X
ejpam-830	42	66	)	)	PUNCT
ejpam-830	42	67	f	f	NOUN
ejpam-830	42	68	(	(	PUNCT
ejpam-830	42	69	z	z	NOUN
ejpam-830	42	70	)	)	PUNCT
ejpam-830	42	71	(	(	PUNCT
ejpam-830	42	72	5	5	NUM
ejpam-830	42	73	)	)	PUNCT
ejpam-830	42	74	and	and	CCONJ
ejpam-830	42	75	z	z	PROPN
ejpam-830	42	76	�	�	PROPN
ejpam-830	42	77	iλp	iλp	PROPN
ejpam-830	42	78	,	,	PUNCT
ejpam-830	42	79	n(a+	n(a+	PROPN
ejpam-830	42	80	1	1	NUM
ejpam-830	42	81	,	,	PUNCT
ejpam-830	42	82	b	b	NOUN
ejpam-830	42	83	;	;	PUNCT
ejpam-830	42	84	c	c	X
ejpam-830	42	85	)	)	PUNCT
ejpam-830	42	86	f	f	NOUN
ejpam-830	42	87	(	(	PUNCT
ejpam-830	42	88	z	z	NOUN
ejpam-830	42	89	)	)	PUNCT
ejpam-830	42	90	�	�	PROPN
ejpam-830	42	91	′	′	NOUN
ejpam-830	42	92	=	=	PUNCT
ejpam-830	42	93	aiλp	aiλp	NOUN
ejpam-830	42	94	,	,	PUNCT
ejpam-830	42	95	n(a	n(a	PROPN
ejpam-830	42	96	,	,	PUNCT
ejpam-830	42	97	b	b	NOUN
ejpam-830	42	98	;	;	PUNCT
ejpam-830	42	99	c	c	X
ejpam-830	42	100	)	)	PUNCT
ejpam-830	42	101	f	f	NOUN
ejpam-830	42	102	(	(	PUNCT
ejpam-830	42	103	z)−	z)−	PROPN
ejpam-830	42	104	(	(	PUNCT
ejpam-830	42	105	a−	a−	PROPN
ejpam-830	42	106	p)iλp	p)iλp	PROPN
ejpam-830	42	107	,	,	PUNCT
ejpam-830	42	108	n(a+	n(a+	PROPN
ejpam-830	42	109	1	1	NUM
ejpam-830	42	110	,	,	PUNCT
ejpam-830	42	111	b	b	NOUN
ejpam-830	42	112	;	;	PUNCT
ejpam-830	42	113	c	c	X
ejpam-830	42	114	)	)	PUNCT
ejpam-830	42	115	f	f	NOUN
ejpam-830	42	116	(	(	PUNCT
ejpam-830	42	117	z	z	NOUN
ejpam-830	42	118	)	)	PUNCT
ejpam-830	42	119	.	.	PUNCT
ejpam-830	43	1	(	(	PUNCT
ejpam-830	43	2	6	6	NUM
ejpam-830	43	3	)	)	PUNCT
ejpam-830	43	4	by	by	ADP
ejpam-830	43	5	using	use	VERB
ejpam-830	43	6	the	the	DET
ejpam-830	43	7	operator	operator	NOUN
ejpam-830	43	8	iλp	iλp	VERB
ejpam-830	43	9	,	,	PUNCT
ejpam-830	43	10	n(a	n(a	PROPN
ejpam-830	43	11	,	,	PUNCT
ejpam-830	43	12	b	b	NOUN
ejpam-830	43	13	;	;	PUNCT
ejpam-830	43	14	c	c	X
ejpam-830	43	15	)	)	PUNCT
ejpam-830	43	16	,	,	PUNCT
ejpam-830	43	17	we	we	PRON
ejpam-830	43	18	define	define	VERB
ejpam-830	43	19	the	the	DET
ejpam-830	43	20	following	follow	VERB
ejpam-830	43	21	classes	class	NOUN
ejpam-830	43	22	of	of	ADP
ejpam-830	43	23	functions	function	NOUN
ejpam-830	43	24	:	:	PUNCT
ejpam-830	43	25	j.	j.	PROPN
ejpam-830	43	26	dziok	dziok	PROPN
ejpam-830	43	27	,	,	PUNCT
ejpam-830	43	28	m.	m.	NOUN
ejpam-830	43	29	aouf	aouf	PROPN
ejpam-830	43	30	,	,	PUNCT
ejpam-830	43	31	j.	j.	PROPN
ejpam-830	43	32	sokół	sokół	PROPN
ejpam-830	43	33	/	/	SYM
ejpam-830	43	34	eur	eur	PROPN
ejpam-830	43	35	.	.	PUNCT
ejpam-830	44	1	j.	j.	PROPN
ejpam-830	44	2	pure	pure	PROPN
ejpam-830	44	3	appl	appl	PROPN
ejpam-830	44	4	.	.	PROPN
ejpam-830	44	5	math	math	PROPN
ejpam-830	44	6	,	,	PUNCT
ejpam-830	44	7	4	4	NUM
ejpam-830	44	8	(	(	PUNCT
ejpam-830	44	9	2011	2011	NUM
ejpam-830	44	10	)	)	PUNCT
ejpam-830	44	11	,	,	PUNCT
ejpam-830	44	12	322	322	NUM
ejpam-830	44	13	-	-	SYM
ejpam-830	44	14	329	329	NUM
ejpam-830	44	15	324	324	NUM
ejpam-830	44	16	definition	definition	NOUN
ejpam-830	44	17	1	1	NUM
ejpam-830	44	18	.	.	PUNCT
ejpam-830	45	1	let	let	VERB
ejpam-830	45	2	φ	φ	PROPN
ejpam-830	45	3	be	be	AUX
ejpam-830	45	4	the	the	DET
ejpam-830	45	5	set	set	NOUN
ejpam-830	45	6	of	of	ADP
ejpam-830	45	7	complex	complex	NOUN
ejpam-830	45	8	-	-	PUNCT
ejpam-830	45	9	valued	value	VERB
ejpam-830	45	10	functions	function	NOUN
ejpam-830	45	11	ϕ(r	ϕ(r	PROPN
ejpam-830	45	12	,	,	PUNCT
ejpam-830	45	13	s	s	PROPN
ejpam-830	45	14	,	,	PUNCT
ejpam-830	45	15	t	t	PROPN
ejpam-830	45	16	)	)	PUNCT
ejpam-830	45	17	,	,	PUNCT
ejpam-830	45	18	ϕ(r	ϕ(r	PROPN
ejpam-830	45	19	,	,	PUNCT
ejpam-830	45	20	s	s	PROPN
ejpam-830	45	21	,	,	PUNCT
ejpam-830	45	22	t	t	PROPN
ejpam-830	45	23	)	)	PUNCT
ejpam-830	45	24	:	:	PUNCT
ejpam-830	45	25	c3→	c3→	X
ejpam-830	45	26	c	c	X
ejpam-830	45	27	(	(	PUNCT
ejpam-830	45	28	c	c	NOUN
ejpam-830	45	29	is	be	AUX
ejpam-830	45	30	the	the	DET
ejpam-830	45	31	complex	complex	ADJ
ejpam-830	45	32	plane	plane	NOUN
ejpam-830	45	33	)	)	PUNCT
ejpam-830	45	34	such	such	ADJ
ejpam-830	45	35	that	that	DET
ejpam-830	45	36	1	1	NUM
ejpam-830	45	37	.	.	PUNCT
ejpam-830	46	1	ϕ(r	ϕ(r	PROPN
ejpam-830	46	2	,	,	PUNCT
ejpam-830	46	3	s	s	PROPN
ejpam-830	46	4	,	,	PUNCT
ejpam-830	46	5	t	t	PROPN
ejpam-830	46	6	)	)	PUNCT
ejpam-830	46	7	is	be	AUX
ejpam-830	46	8	continuous	continuous	ADJ
ejpam-830	46	9	in	in	ADP
ejpam-830	46	10	a	a	DET
ejpam-830	46	11	domain	domain	NOUN
ejpam-830	46	12	d	d	X
ejpam-830	46	13	⊂	⊂	PROPN
ejpam-830	46	14	c3	c3	PROPN
ejpam-830	46	15	;	;	PUNCT
ejpam-830	46	16	2	2	X
ejpam-830	46	17	.	.	PUNCT
ejpam-830	46	18	(	(	PUNCT
ejpam-830	46	19	0,0,0	0,0,0	NOUN
ejpam-830	46	20	)	)	PUNCT
ejpam-830	46	21	∈	∈	PROPN
ejpam-830	46	22	d	d	PROPN
ejpam-830	46	23	and	and	CCONJ
ejpam-830	46	24	�	�	PROPN
ejpam-830	46	25	�	�	NOUN
ejpam-830	46	26	ϕ(0,0,0	ϕ(0,0,0	NOUN
ejpam-830	46	27	)	)	PUNCT
ejpam-830	46	28	�	�	PROPN
ejpam-830	46	29	�	�	PROPN
ejpam-830	46	30	<	<	X
ejpam-830	46	31	1	1	NUM
ejpam-830	46	32	;	;	PUNCT
ejpam-830	46	33	3	3	X
ejpam-830	46	34	.	.	X
ejpam-830	46	35	�	�	PROPN
ejpam-830	46	36	�	�	PROPN
ejpam-830	46	37	�	�	PROPN
ejpam-830	46	38	ϕ	ϕ	PROPN
ejpam-830	46	39	�	�	PROPN
ejpam-830	46	40	eiθ	eiθ	PROPN
ejpam-830	46	41	,	,	PUNCT
ejpam-830	46	42	f	f	PROPN
ejpam-830	46	43	(	(	PUNCT
ejpam-830	46	44	λ	λ	PROPN
ejpam-830	46	45	,	,	PUNCT
ejpam-830	46	46	ζ	ζ	NOUN
ejpam-830	46	47	,	,	PUNCT
ejpam-830	46	48	θ	θ	PROPN
ejpam-830	46	49	,	,	PUNCT
ejpam-830	46	50	p	p	NOUN
ejpam-830	46	51	)	)	PUNCT
ejpam-830	46	52	,	,	PUNCT
ejpam-830	46	53	g(λ	g(λ	PROPN
ejpam-830	46	54	,	,	PUNCT
ejpam-830	46	55	ζ	ζ	NOUN
ejpam-830	46	56	,	,	PUNCT
ejpam-830	46	57	θ	θ	PROPN
ejpam-830	46	58	,	,	PUNCT
ejpam-830	46	59	p	p	X
ejpam-830	46	60	,	,	PUNCT
ejpam-830	46	61	m	m	NOUN
ejpam-830	46	62	)	)	PUNCT
ejpam-830	46	63	�	�	PROPN
ejpam-830	46	64	�	�	PROPN
ejpam-830	46	65	�	�	PROPN
ejpam-830	46	66	�	�	PROPN
ejpam-830	46	67	>	>	X
ejpam-830	46	68	1	1	NUM
ejpam-830	46	69	whenever	whenever	SCONJ
ejpam-830	46	70	�	�	PROPN
ejpam-830	46	71	eiθ	eiθ	PROPN
ejpam-830	46	72	,	,	PUNCT
ejpam-830	46	73	f	f	PROPN
ejpam-830	46	74	(	(	PUNCT
ejpam-830	46	75	λ	λ	PROPN
ejpam-830	46	76	,	,	PUNCT
ejpam-830	46	77	ζ	ζ	NOUN
ejpam-830	46	78	,	,	PUNCT
ejpam-830	46	79	θ	θ	PROPN
ejpam-830	46	80	,	,	PUNCT
ejpam-830	46	81	p	p	NOUN
ejpam-830	46	82	)	)	PUNCT
ejpam-830	46	83	,	,	PUNCT
ejpam-830	46	84	g(λ	g(λ	PROPN
ejpam-830	46	85	,	,	PUNCT
ejpam-830	46	86	ζ	ζ	NOUN
ejpam-830	46	87	,	,	PUNCT
ejpam-830	46	88	θ	θ	PROPN
ejpam-830	46	89	,	,	PUNCT
ejpam-830	46	90	p	p	X
ejpam-830	46	91	,	,	PUNCT
ejpam-830	46	92	m	m	NOUN
ejpam-830	46	93	)	)	PUNCT
ejpam-830	46	94	�	�	PROPN
ejpam-830	46	95	∈	∈	PROPN
ejpam-830	46	96	d	d	NOUN
ejpam-830	46	97	,	,	PUNCT
ejpam-830	46	98	with	with	ADP
ejpam-830	46	99	re	re	VERB
ejpam-830	46	100	¦	¦	X
ejpam-830	46	101	e−iθm	e−iθm	ADJ
ejpam-830	47	1	©	©	PROPN
ejpam-830	47	2	≥	≥	NUM
ejpam-830	47	3	ζ(ζ−	ζ(ζ−	NOUN
ejpam-830	47	4	1	1	NUM
ejpam-830	47	5	)	)	PUNCT
ejpam-830	47	6	,	,	PUNCT
ejpam-830	47	7	for	for	ADP
ejpam-830	47	8	all	all	DET
ejpam-830	47	9	θ	θ	NOUN
ejpam-830	47	10	∈	∈	PROPN
ejpam-830	47	11	r	r	NOUN
ejpam-830	47	12	,	,	PUNCT
ejpam-830	47	13	and	and	CCONJ
ejpam-830	47	14	for	for	ADP
ejpam-830	47	15	all	all	DET
ejpam-830	47	16	ζ	ζ	PRON
ejpam-830	47	17	≥	≥	NOUN
ejpam-830	47	18	p	p	NOUN
ejpam-830	47	19	≥	≥	NUM
ejpam-830	47	20	1	1	NUM
ejpam-830	47	21	,	,	PUNCT
ejpam-830	47	22	where	where	SCONJ
ejpam-830	47	23	f	f	PROPN
ejpam-830	47	24	(	(	PUNCT
ejpam-830	47	25	λ	λ	PROPN
ejpam-830	47	26	,	,	PUNCT
ejpam-830	47	27	ζ	ζ	NOUN
ejpam-830	47	28	,	,	PUNCT
ejpam-830	47	29	θ	θ	PROPN
ejpam-830	47	30	,	,	PUNCT
ejpam-830	47	31	p	p	NOUN
ejpam-830	47	32	)	)	PUNCT
ejpam-830	47	33	=	=	PUNCT
ejpam-830	47	34	�	�	PROPN
ejpam-830	47	35	ζ+λ	ζ+λ	NUM
ejpam-830	47	36	λ+	λ+	PUNCT
ejpam-830	47	37	p	p	PROPN
ejpam-830	47	38	�	�	PROPN
ejpam-830	47	39	eiθ	eiθ	PROPN
ejpam-830	47	40	and	and	CCONJ
ejpam-830	47	41	g(λ	g(λ	PROPN
ejpam-830	47	42	,	,	PUNCT
ejpam-830	47	43	ζ	ζ	NOUN
ejpam-830	47	44	,	,	PUNCT
ejpam-830	47	45	θ	θ	PROPN
ejpam-830	47	46	,	,	PUNCT
ejpam-830	47	47	p	p	X
ejpam-830	47	48	,	,	PUNCT
ejpam-830	47	49	m	m	NOUN
ejpam-830	47	50	)	)	PUNCT
ejpam-830	47	51	=	=	SYM
ejpam-830	47	52	(	(	PUNCT
ejpam-830	47	53	λ+	λ+	X
ejpam-830	47	54	1)(λ+	1)(λ+	NUM
ejpam-830	47	55	2ζ)eiθ	2ζ)eiθ	NUM
ejpam-830	48	1	+	+	NOUN
ejpam-830	48	2	m	m	VERB
ejpam-830	48	3	(	(	PUNCT
ejpam-830	48	4	λ+	λ+	PUNCT
ejpam-830	48	5	p)(λ+	p)(λ+	PROPN
ejpam-830	48	6	p+	p+	NOUN
ejpam-830	48	7	1	1	NUM
ejpam-830	48	8	)	)	PUNCT
ejpam-830	48	9	.	.	PUNCT
ejpam-830	49	1	definition	definition	NOUN
ejpam-830	49	2	2	2	NUM
ejpam-830	49	3	.	.	PUNCT
ejpam-830	50	1	leth	leth	PROPN
ejpam-830	50	2	be	be	AUX
ejpam-830	50	3	the	the	DET
ejpam-830	50	4	set	set	NOUN
ejpam-830	50	5	of	of	ADP
ejpam-830	50	6	complex	complex	NOUN
ejpam-830	50	7	-	-	PUNCT
ejpam-830	50	8	valued	value	VERB
ejpam-830	50	9	functions	function	NOUN
ejpam-830	50	10	h(r	h(r	NOUN
ejpam-830	50	11	,	,	PUNCT
ejpam-830	50	12	s	s	PROPN
ejpam-830	50	13	,	,	PUNCT
ejpam-830	50	14	t	t	PROPN
ejpam-830	50	15	)	)	PUNCT
ejpam-830	50	16	;	;	PUNCT
ejpam-830	50	17	h(r	h(r	NOUN
ejpam-830	50	18	,	,	PUNCT
ejpam-830	50	19	s	s	PROPN
ejpam-830	50	20	,	,	PUNCT
ejpam-830	50	21	t	t	PROPN
ejpam-830	50	22	)	)	PUNCT
ejpam-830	50	23	:	:	PUNCT
ejpam-830	50	24	c3→	c3→	X
ejpam-830	50	25	c	c	NOUN
ejpam-830	50	26	such	such	ADJ
ejpam-830	50	27	that	that	DET
ejpam-830	50	28	1	1	NUM
ejpam-830	50	29	.	.	X
ejpam-830	50	30	h(r	h(r	PROPN
ejpam-830	50	31	,	,	PUNCT
ejpam-830	50	32	s	s	PROPN
ejpam-830	50	33	,	,	PUNCT
ejpam-830	50	34	t	t	PROPN
ejpam-830	50	35	)	)	PUNCT
ejpam-830	50	36	is	be	AUX
ejpam-830	50	37	continuous	continuous	ADJ
ejpam-830	50	38	in	in	ADP
ejpam-830	50	39	a	a	DET
ejpam-830	50	40	domain	domain	NOUN
ejpam-830	50	41	d	d	X
ejpam-830	50	42	⊂	⊂	PROPN
ejpam-830	50	43	c3	c3	PROPN
ejpam-830	50	44	;	;	PUNCT
ejpam-830	50	45	2	2	X
ejpam-830	50	46	.	.	PUNCT
ejpam-830	50	47	(	(	PUNCT
ejpam-830	50	48	1,1,1	1,1,1	NUM
ejpam-830	50	49	)	)	PUNCT
ejpam-830	50	50	∈	∈	PROPN
ejpam-830	50	51	d	d	PROPN
ejpam-830	50	52	and	and	CCONJ
ejpam-830	50	53	�	�	PROPN
ejpam-830	50	54	�	�	PROPN
ejpam-830	50	55	g(1,1,1	g(1,1,1	NUM
ejpam-830	50	56	)	)	PUNCT
ejpam-830	50	57	�	�	PROPN
ejpam-830	50	58	�	�	PROPN
ejpam-830	50	59	<	<	X
ejpam-830	50	60	j	j	PROPN
ejpam-830	50	61	(	(	PUNCT
ejpam-830	50	62	j	j	PROPN
ejpam-830	50	63	>	>	X
ejpam-830	50	64	1	1	NUM
ejpam-830	50	65	)	)	PUNCT
ejpam-830	50	66	;	;	PUNCT
ejpam-830	50	67	3	3	X
ejpam-830	50	68	.	.	X
ejpam-830	50	69	�	�	PROPN
ejpam-830	50	70	�	�	PROPN
ejpam-830	50	71	�	�	PROPN
ejpam-830	50	72	h	h	PROPN
ejpam-830	50	73	�	�	PROPN
ejpam-830	50	74	jeiθ	jeiθ	PROPN
ejpam-830	50	75	,	,	PUNCT
ejpam-830	50	76	f	f	PROPN
ejpam-830	50	77	(	(	PUNCT
ejpam-830	50	78	λ	λ	PROPN
ejpam-830	50	79	,	,	PUNCT
ejpam-830	50	80	ζ	ζ	NOUN
ejpam-830	50	81	,	,	PUNCT
ejpam-830	50	82	θ	θ	PROPN
ejpam-830	50	83	,	,	PUNCT
ejpam-830	50	84	p	p	X
ejpam-830	50	85	,	,	PUNCT
ejpam-830	50	86	j	j	PROPN
ejpam-830	50	87	)	)	PUNCT
ejpam-830	50	88	,	,	PUNCT
ejpam-830	50	89	g(λ	g(λ	PROPN
ejpam-830	50	90	,	,	PUNCT
ejpam-830	50	91	ζ	ζ	NOUN
ejpam-830	50	92	,	,	PUNCT
ejpam-830	50	93	θ	θ	PROPN
ejpam-830	50	94	,	,	PUNCT
ejpam-830	50	95	p	p	X
ejpam-830	50	96	,	,	PUNCT
ejpam-830	50	97	j	j	PROPN
ejpam-830	50	98	)	)	PUNCT
ejpam-830	50	99	�	�	PROPN
ejpam-830	50	100	�	�	PROPN
ejpam-830	50	101	�	�	PROPN
ejpam-830	50	102	�	�	PROPN
ejpam-830	51	1	≥	≥	PROPN
ejpam-830	51	2	j	j	PROPN
ejpam-830	51	3	whenever	whenever	SCONJ
ejpam-830	51	4	�	�	PROPN
ejpam-830	51	5	jeiθ	jeiθ	PROPN
ejpam-830	51	6	,	,	PUNCT
ejpam-830	51	7	f	f	PROPN
ejpam-830	51	8	(	(	PUNCT
ejpam-830	51	9	λ	λ	PROPN
ejpam-830	51	10	,	,	PUNCT
ejpam-830	51	11	ζ	ζ	NOUN
ejpam-830	51	12	,	,	PUNCT
ejpam-830	51	13	θ	θ	PROPN
ejpam-830	51	14	,	,	PUNCT
ejpam-830	51	15	p	p	X
ejpam-830	51	16	,	,	PUNCT
ejpam-830	51	17	j	j	PROPN
ejpam-830	51	18	)	)	PUNCT
ejpam-830	51	19	,	,	PUNCT
ejpam-830	51	20	g(λ	g(λ	PROPN
ejpam-830	51	21	,	,	PUNCT
ejpam-830	51	22	ζ	ζ	NOUN
ejpam-830	51	23	,	,	PUNCT
ejpam-830	51	24	θ	θ	PROPN
ejpam-830	51	25	,	,	PUNCT
ejpam-830	51	26	p	p	X
ejpam-830	51	27	,	,	PUNCT
ejpam-830	51	28	j	j	PROPN
ejpam-830	51	29	,	,	PUNCT
ejpam-830	51	30	l	l	PROPN
ejpam-830	51	31	)	)	PUNCT
ejpam-830	51	32	�	�	PROPN
ejpam-830	51	33	∈	∈	PROPN
ejpam-830	51	34	d	d	NOUN
ejpam-830	51	35	,	,	PUNCT
ejpam-830	51	36	with	with	ADP
ejpam-830	51	37	re{l	re{l	PROPN
ejpam-830	51	38	}	}	PUNCT
ejpam-830	51	39	≥	≥	NOUN
ejpam-830	51	40	ζ(ζ−	ζ(ζ−	NOUN
ejpam-830	51	41	1	1	NUM
ejpam-830	51	42	)	)	PUNCT
ejpam-830	51	43	for	for	ADP
ejpam-830	51	44	all	all	DET
ejpam-830	51	45	θ	θ	NOUN
ejpam-830	51	46	∈	∈	NOUN
ejpam-830	51	47	r	r	NOUN
ejpam-830	51	48	and	and	CCONJ
ejpam-830	51	49	for	for	ADP
ejpam-830	51	50	all	all	DET
ejpam-830	51	51	ζ	ζ	NOUN
ejpam-830	51	52	≥	≥	NOUN
ejpam-830	51	53	j	j	NOUN
ejpam-830	51	54	−	−	PROPN
ejpam-830	51	55	1	1	NUM
ejpam-830	51	56	j	j	PROPN
ejpam-830	51	57	+	+	CCONJ
ejpam-830	51	58	1	1	NUM
ejpam-830	51	59	,	,	PUNCT
ejpam-830	51	60	where	where	SCONJ
ejpam-830	51	61	f	f	PROPN
ejpam-830	51	62	(	(	PUNCT
ejpam-830	51	63	λ	λ	PROPN
ejpam-830	51	64	,	,	PUNCT
ejpam-830	51	65	ζ	ζ	NOUN
ejpam-830	51	66	,	,	PUNCT
ejpam-830	51	67	θ	θ	PROPN
ejpam-830	51	68	,	,	PUNCT
ejpam-830	51	69	p	p	X
ejpam-830	51	70	,	,	PUNCT
ejpam-830	51	71	j	j	PROPN
ejpam-830	51	72	)	)	PUNCT
ejpam-830	51	73	=	=	SYM
ejpam-830	51	74	1	1	NUM
ejpam-830	51	75	+	+	NUM
ejpam-830	51	76	ζ+	ζ+	NUM
ejpam-830	51	77	(	(	PUNCT
ejpam-830	51	78	λ+	λ+	PUNCT
ejpam-830	51	79	p−	p−	X
ejpam-830	51	80	1)jeiθ	1)jeiθ	NUM
ejpam-830	51	81	(	(	PUNCT
ejpam-830	51	82	λ+	λ+	PUNCT
ejpam-830	51	83	p	p	X
ejpam-830	51	84	)	)	PUNCT
ejpam-830	51	85	and	and	CCONJ
ejpam-830	51	86	g(λ	g(λ	PROPN
ejpam-830	51	87	,	,	PUNCT
ejpam-830	51	88	ζ	ζ	NOUN
ejpam-830	51	89	,	,	PUNCT
ejpam-830	51	90	θ	θ	PROPN
ejpam-830	51	91	,	,	PUNCT
ejpam-830	51	92	p	p	X
ejpam-830	51	93	,	,	PUNCT
ejpam-830	51	94	j	j	PROPN
ejpam-830	51	95	,	,	PUNCT
ejpam-830	51	96	l	l	NOUN
ejpam-830	51	97	)	)	PUNCT
ejpam-830	51	98	=	=	SYM
ejpam-830	51	99	1	1	NUM
ejpam-830	51	100	(	(	PUNCT
ejpam-830	51	101	λ+	λ+	X
ejpam-830	51	102	p+	p+	NOUN
ejpam-830	51	103	1	1	NUM
ejpam-830	51	104	)	)	PUNCT
ejpam-830	51	105	¨	¨	NOUN
ejpam-830	51	106	2	2	NUM
ejpam-830	51	107	+	+	NUM
ejpam-830	51	108	ζ+	ζ+	NUM
ejpam-830	51	109	(	(	PUNCT
ejpam-830	51	110	λ+	λ+	PUNCT
ejpam-830	51	111	p−	p−	X
ejpam-830	51	112	1)jeiθ	1)jeiθ	NUM
ejpam-830	51	113	+	+	CCONJ
ejpam-830	51	114	ζ−	ζ−	NOUN
ejpam-830	51	115	ζ2	ζ2	NOUN
ejpam-830	51	116	+	+	CCONJ
ejpam-830	51	117	(	(	PUNCT
ejpam-830	51	118	λ+	λ+	X
ejpam-830	51	119	p+	p+	NOUN
ejpam-830	51	120	1)ζjeiθ	1)ζjeiθ	NUM
ejpam-830	51	121	+	+	CCONJ
ejpam-830	51	122	l	l	NOUN
ejpam-830	51	123	ζ+	ζ+	NUM
ejpam-830	51	124	(	(	PUNCT
ejpam-830	51	125	λ+	λ+	PUNCT
ejpam-830	51	126	p−	p−	X
ejpam-830	51	127	1)jeiθ	1)jeiθ	NUM
ejpam-830	51	128	«	«	PUNCT
ejpam-830	51	129	.	.	PUNCT
ejpam-830	52	1	j.	j.	PROPN
ejpam-830	52	2	dziok	dziok	PROPN
ejpam-830	52	3	,	,	PUNCT
ejpam-830	52	4	m.	m.	NOUN
ejpam-830	52	5	aouf	aouf	PROPN
ejpam-830	52	6	,	,	PUNCT
ejpam-830	52	7	j.	j.	PROPN
ejpam-830	52	8	sokół	sokół	PROPN
ejpam-830	52	9	/	/	SYM
ejpam-830	52	10	eur	eur	PROPN
ejpam-830	52	11	.	.	PUNCT
ejpam-830	53	1	j.	j.	PROPN
ejpam-830	53	2	pure	pure	PROPN
ejpam-830	53	3	appl	appl	PROPN
ejpam-830	53	4	.	.	PROPN
ejpam-830	53	5	math	math	PROPN
ejpam-830	53	6	,	,	PUNCT
ejpam-830	53	7	4	4	NUM
ejpam-830	53	8	(	(	PUNCT
ejpam-830	53	9	2011	2011	NUM
ejpam-830	53	10	)	)	PUNCT
ejpam-830	53	11	,	,	PUNCT
ejpam-830	53	12	322	322	NUM
ejpam-830	53	13	-	-	SYM
ejpam-830	53	14	329	329	NUM
ejpam-830	53	15	325	325	NUM
ejpam-830	53	16	2	2	NUM
ejpam-830	53	17	.	.	PUNCT
ejpam-830	53	18	main	main	ADJ
ejpam-830	53	19	results	result	NOUN
ejpam-830	53	20	we	we	PRON
ejpam-830	53	21	recall	recall	VERB
ejpam-830	53	22	the	the	DET
ejpam-830	53	23	following	follow	VERB
ejpam-830	53	24	lemma	lemma	PROPN
ejpam-830	53	25	due	due	ADP
ejpam-830	53	26	to	to	ADP
ejpam-830	53	27	miller	miller	PROPN
ejpam-830	53	28	and	and	CCONJ
ejpam-830	53	29	mocanu	mocanu	NOUN
ejpam-830	54	1	[	[	X
ejpam-830	54	2	5	5	NUM
ejpam-830	54	3	]	]	PUNCT
ejpam-830	54	4	.	.	PUNCT
ejpam-830	55	1	lemma	lemma	PROPN
ejpam-830	55	2	1	1	X
ejpam-830	55	3	.	.	PUNCT
ejpam-830	56	1	let	let	VERB
ejpam-830	56	2	w(z	w(z	NOUN
ejpam-830	56	3	)	)	PUNCT
ejpam-830	57	1	=	=	SYM
ejpam-830	57	2	a+	a+	PUNCT
ejpam-830	57	3	wνz	wνz	X
ejpam-830	57	4	ν	ν	X
ejpam-830	57	5	+	+	PUNCT
ejpam-830	57	6	.	.	PUNCT
ejpam-830	57	7	.	.	PUNCT
ejpam-830	57	8	.	.	PUNCT
ejpam-830	58	1	be	be	AUX
ejpam-830	58	2	regular	regular	ADJ
ejpam-830	58	3	in	in	ADP
ejpam-830	58	4	u	u	NOUN
ejpam-830	58	5	with	with	ADP
ejpam-830	58	6	ν	ν	X
ejpam-830	58	7	∈	∈	PROPN
ejpam-830	58	8	n.	n.	NOUN
ejpam-830	58	9	if	if	SCONJ
ejpam-830	58	10	z0	z0	PROPN
ejpam-830	58	11	=	=	PUNCT
ejpam-830	58	12	r0eiθ	r0eiθ	PROPN
ejpam-830	58	13	(	(	PUNCT
ejpam-830	58	14	0	0	NUM
ejpam-830	58	15	<	<	X
ejpam-830	58	16	r0	r0	NOUN
ejpam-830	58	17	<	<	X
ejpam-830	58	18	1	1	NUM
ejpam-830	58	19	)	)	PUNCT
ejpam-830	58	20	and	and	CCONJ
ejpam-830	58	21	�	�	PROPN
ejpam-830	58	22	�	�	PROPN
ejpam-830	58	23	w(z0	w(z0	NOUN
ejpam-830	58	24	)	)	PUNCT
ejpam-830	58	25	�	�	PROPN
ejpam-830	58	26	�	�	PROPN
ejpam-830	58	27	=	=	SYM
ejpam-830	58	28	max	max	PROPN
ejpam-830	58	29	|z|≤|z0|	|z|≤|z0|	NOUN
ejpam-830	58	30	|w(z)|	|w(z)|	NOUN
ejpam-830	58	31	,	,	PUNCT
ejpam-830	58	32	then	then	ADV
ejpam-830	58	33	z0w′(z0	z0w′(z0	NOUN
ejpam-830	58	34	)	)	PUNCT
ejpam-830	58	35	=	=	SYM
ejpam-830	58	36	ζw(z0	ζw(z0	NOUN
ejpam-830	58	37	)	)	PUNCT
ejpam-830	58	38	(	(	PUNCT
ejpam-830	58	39	7	7	NUM
ejpam-830	58	40	)	)	PUNCT
ejpam-830	58	41	and	and	CCONJ
ejpam-830	58	42	re	re	VERB
ejpam-830	58	43	¨	¨	NOUN
ejpam-830	58	44	1	1	NUM
ejpam-830	58	45	+	+	NUM
ejpam-830	58	46	z0w′′(z0	z0w′′(z0	NOUN
ejpam-830	58	47	)	)	PUNCT
ejpam-830	58	48	w′(z0	w′(z0	NOUN
ejpam-830	58	49	)	)	PUNCT
ejpam-830	58	50	«	«	PUNCT
ejpam-830	58	51	≥	≥	X
ejpam-830	58	52	ζ	ζ	NOUN
ejpam-830	58	53	,	,	PUNCT
ejpam-830	58	54	(	(	PUNCT
ejpam-830	58	55	8)	8)	NUM
ejpam-830	58	56	where	where	SCONJ
ejpam-830	58	57	ζ	ζ	NOUN
ejpam-830	58	58	is	be	AUX
ejpam-830	58	59	a	a	DET
ejpam-830	58	60	real	real	ADJ
ejpam-830	58	61	number	number	NOUN
ejpam-830	58	62	and	and	CCONJ
ejpam-830	58	63	ζ≥	ζ≥	PROPN
ejpam-830	58	64	ν	ν	PROPN
ejpam-830	58	65	�	�	PROPN
ejpam-830	58	66	�	�	PROPN
ejpam-830	58	67	w(z0)−	w(z0)−	PROPN
ejpam-830	58	68	a	a	DET
ejpam-830	58	69	�	�	PROPN
ejpam-830	58	70	�	�	PROPN
ejpam-830	58	71	2	2	NUM
ejpam-830	58	72	�	�	PROPN
ejpam-830	58	73	�	�	PROPN
ejpam-830	58	74	w(z0	w(z0	NOUN
ejpam-830	58	75	)	)	PUNCT
ejpam-830	58	76	�	�	PROPN
ejpam-830	58	77	�	�	PROPN
ejpam-830	58	78	2	2	NUM
ejpam-830	58	79	−	−	PROPN
ejpam-830	58	80	|a|2	|a|2	PROPN
ejpam-830	58	81	≥	≥	NOUN
ejpam-830	58	82	ν	ν	PROPN
ejpam-830	58	83	�	�	PROPN
ejpam-830	58	84	�	�	PROPN
ejpam-830	58	85	w(z0	w(z0	NOUN
ejpam-830	58	86	)	)	PUNCT
ejpam-830	58	87	�	�	PROPN
ejpam-830	58	88	�	�	PROPN
ejpam-830	58	89	−	−	PROPN
ejpam-830	58	90	|a|	|a|	PROPN
ejpam-830	58	91	�	�	PROPN
ejpam-830	58	92	�	�	PROPN
ejpam-830	58	93	w(z0	w(z0	NOUN
ejpam-830	58	94	)	)	PUNCT
ejpam-830	58	95	�	�	PROPN
ejpam-830	58	96	�	�	PROPN
ejpam-830	58	97	+	+	CCONJ
ejpam-830	58	98	|a|	|a|	PROPN
ejpam-830	58	99	.	.	PUNCT
ejpam-830	59	1	(	(	PUNCT
ejpam-830	59	2	9	9	X
ejpam-830	59	3	)	)	PUNCT
ejpam-830	59	4	note	note	NOUN
ejpam-830	59	5	that	that	SCONJ
ejpam-830	59	6	if	if	SCONJ
ejpam-830	59	7	ν	ν	NOUN
ejpam-830	59	8	=	=	NOUN
ejpam-830	59	9	0	0	PUNCT
ejpam-830	59	10	then	then	ADV
ejpam-830	59	11	the	the	DET
ejpam-830	59	12	condition	condition	NOUN
ejpam-830	59	13	(	(	PUNCT
ejpam-830	59	14	9	9	X
ejpam-830	59	15	)	)	PUNCT
ejpam-830	59	16	becomes	become	VERB
ejpam-830	59	17	ζ	ζ	NOUN
ejpam-830	59	18	≥	≥	NOUN
ejpam-830	59	19	ν	ν	ADP
ejpam-830	59	20	≥	≥	PROPN
ejpam-830	59	21	1	1	NUM
ejpam-830	59	22	.	.	PUNCT
ejpam-830	60	1	theorem	theorem	NOUN
ejpam-830	60	2	1	1	NUM
ejpam-830	60	3	.	.	PUNCT
ejpam-830	61	1	let	let	VERB
ejpam-830	61	2	ϕ(r	ϕ(r	PROPN
ejpam-830	61	3	,	,	PUNCT
ejpam-830	61	4	s	s	PROPN
ejpam-830	61	5	,	,	PUNCT
ejpam-830	61	6	t	t	PROPN
ejpam-830	61	7	)	)	PUNCT
ejpam-830	61	8	∈	∈	PROPN
ejpam-830	61	9	φ	φ	NOUN
ejpam-830	61	10	and	and	CCONJ
ejpam-830	61	11	let	let	VERB
ejpam-830	61	12	f	f	PROPN
ejpam-830	61	13	in	in	ADP
ejpam-830	61	14	the	the	DET
ejpam-830	61	15	classan(p	classan(p	NOUN
ejpam-830	61	16	)	)	PUNCT
ejpam-830	61	17	satisfy	satisfy	NOUN
ejpam-830	61	18	�	�	PROPN
ejpam-830	61	19	iλp	iλp	PROPN
ejpam-830	61	20	,	,	PUNCT
ejpam-830	61	21	n(a	n(a	PROPN
ejpam-830	61	22	,	,	PUNCT
ejpam-830	61	23	b	b	NOUN
ejpam-830	61	24	;	;	PUNCT
ejpam-830	61	25	c	c	X
ejpam-830	61	26	)	)	PUNCT
ejpam-830	61	27	f	f	NOUN
ejpam-830	61	28	(	(	PUNCT
ejpam-830	61	29	z	z	NOUN
ejpam-830	61	30	)	)	PUNCT
ejpam-830	61	31	,	,	PUNCT
ejpam-830	61	32	iλ+1	iλ+1	ADP
ejpam-830	61	33	p	p	NOUN
ejpam-830	61	34	,	,	PUNCT
ejpam-830	61	35	n	n	CCONJ
ejpam-830	61	36	(	(	PUNCT
ejpam-830	61	37	a	a	DET
ejpam-830	61	38	,	,	PUNCT
ejpam-830	61	39	b	b	NOUN
ejpam-830	61	40	;	;	PUNCT
ejpam-830	61	41	c	c	X
ejpam-830	61	42	)	)	PUNCT
ejpam-830	61	43	f	f	NOUN
ejpam-830	61	44	(	(	PUNCT
ejpam-830	61	45	z	z	NOUN
ejpam-830	61	46	)	)	PUNCT
ejpam-830	61	47	,	,	PUNCT
ejpam-830	62	1	iλ+2	iλ+2	NOUN
ejpam-830	62	2	p	p	NOUN
ejpam-830	62	3	,	,	PUNCT
ejpam-830	62	4	n	n	CCONJ
ejpam-830	62	5	(	(	PUNCT
ejpam-830	62	6	a	a	PRON
ejpam-830	62	7	,	,	PUNCT
ejpam-830	62	8	b	b	NOUN
ejpam-830	62	9	;	;	PUNCT
ejpam-830	62	10	c	c	X
ejpam-830	62	11	)	)	PUNCT
ejpam-830	62	12	f	f	NOUN
ejpam-830	62	13	(	(	PUNCT
ejpam-830	62	14	z	z	NOUN
ejpam-830	62	15	)	)	PUNCT
ejpam-830	62	16	�	�	PROPN
ejpam-830	62	17	∈	∈	PROPN
ejpam-830	62	18	d	d	X
ejpam-830	62	19	⊂	⊂	PROPN
ejpam-830	62	20	c3	c3	PROPN
ejpam-830	62	21	(	(	PUNCT
ejpam-830	62	22	10	10	NUM
ejpam-830	62	23	)	)	PUNCT
ejpam-830	62	24	and	and	CCONJ
ejpam-830	62	25	�	�	PROPN
ejpam-830	62	26	�	�	PROPN
ejpam-830	62	27	�	�	PROPN
ejpam-830	62	28	ϕ	ϕ	PROPN
ejpam-830	62	29	�	�	PROPN
ejpam-830	62	30	iλp	iλp	PROPN
ejpam-830	62	31	,	,	PUNCT
ejpam-830	62	32	n(a	n(a	PROPN
ejpam-830	62	33	,	,	PUNCT
ejpam-830	62	34	b	b	NOUN
ejpam-830	62	35	;	;	PUNCT
ejpam-830	62	36	c	c	X
ejpam-830	62	37	)	)	PUNCT
ejpam-830	62	38	f	f	NOUN
ejpam-830	62	39	(	(	PUNCT
ejpam-830	62	40	z	z	NOUN
ejpam-830	62	41	)	)	PUNCT
ejpam-830	62	42	,	,	PUNCT
ejpam-830	62	43	iλ+1	iλ+1	ADP
ejpam-830	63	1	p	p	NOUN
ejpam-830	63	2	,	,	PUNCT
ejpam-830	63	3	n	n	CCONJ
ejpam-830	63	4	(	(	PUNCT
ejpam-830	63	5	a	a	DET
ejpam-830	63	6	,	,	PUNCT
ejpam-830	63	7	b	b	NOUN
ejpam-830	63	8	;	;	PUNCT
ejpam-830	63	9	c	c	X
ejpam-830	63	10	)	)	PUNCT
ejpam-830	63	11	f	f	NOUN
ejpam-830	63	12	(	(	PUNCT
ejpam-830	63	13	z	z	NOUN
ejpam-830	63	14	)	)	PUNCT
ejpam-830	63	15	,	,	PUNCT
ejpam-830	63	16	iλ+2	iλ+2	NOUN
ejpam-830	63	17	p	p	NOUN
ejpam-830	63	18	,	,	PUNCT
ejpam-830	63	19	n	n	CCONJ
ejpam-830	63	20	(	(	PUNCT
ejpam-830	63	21	a	a	PRON
ejpam-830	63	22	,	,	PUNCT
ejpam-830	63	23	b	b	NOUN
ejpam-830	63	24	;	;	PUNCT
ejpam-830	63	25	c	c	X
ejpam-830	63	26	)	)	PUNCT
ejpam-830	63	27	f	f	NOUN
ejpam-830	63	28	(	(	PUNCT
ejpam-830	63	29	z	z	NOUN
ejpam-830	63	30	)	)	PUNCT
ejpam-830	63	31	�	�	PROPN
ejpam-830	63	32	�	�	PROPN
ejpam-830	63	33	�	�	PROPN
ejpam-830	63	34	�	�	PROPN
ejpam-830	63	35	<	<	X
ejpam-830	63	36	1	1	NUM
ejpam-830	63	37	(	(	PUNCT
ejpam-830	63	38	11	11	NUM
ejpam-830	63	39	)	)	PUNCT
ejpam-830	63	40	for	for	ADP
ejpam-830	63	41	a	a	DET
ejpam-830	63	42	,	,	PUNCT
ejpam-830	63	43	b	b	NOUN
ejpam-830	63	44	,	,	PUNCT
ejpam-830	63	45	c	c	PROPN
ejpam-830	63	46	∈	∈	PROPN
ejpam-830	63	47	r	r	NOUN
ejpam-830	63	48	\z−0	\z−0	NOUN
ejpam-830	63	49	,	,	PUNCT
ejpam-830	63	50	λ	λ	X
ejpam-830	63	51	>	>	X
ejpam-830	63	52	−p	−p	NOUN
ejpam-830	63	53	,	,	PUNCT
ejpam-830	63	54	p	p	NOUN
ejpam-830	63	55	∈	∈	PROPN
ejpam-830	63	56	n	n	NOUN
ejpam-830	63	57	and	and	CCONJ
ejpam-830	63	58	z	z	PROPN
ejpam-830	63	59	∈	∈	PROPN
ejpam-830	64	1	u.	u.	NOUN
ejpam-830	64	2	then	then	ADV
ejpam-830	64	3	we	we	PRON
ejpam-830	64	4	have	have	VERB
ejpam-830	64	5	�	�	PROPN
ejpam-830	64	6	�	�	PROPN
ejpam-830	64	7	�	�	PROPN
ejpam-830	64	8	iλp	iλp	PROPN
ejpam-830	64	9	,	,	PUNCT
ejpam-830	64	10	n(a	n(a	PROPN
ejpam-830	64	11	,	,	PUNCT
ejpam-830	64	12	b	b	NOUN
ejpam-830	64	13	;	;	PUNCT
ejpam-830	64	14	c	c	X
ejpam-830	64	15	)	)	PUNCT
ejpam-830	64	16	f	f	NOUN
ejpam-830	64	17	(	(	PUNCT
ejpam-830	64	18	z	z	NOUN
ejpam-830	64	19	)	)	PUNCT
ejpam-830	64	20	�	�	PROPN
ejpam-830	64	21	�	�	PROPN
ejpam-830	64	22	�	�	PROPN
ejpam-830	64	23	<	<	X
ejpam-830	64	24	1	1	NUM
ejpam-830	64	25	(	(	PUNCT
ejpam-830	64	26	z	z	NOUN
ejpam-830	64	27	∈	∈	PROPN
ejpam-830	64	28	u	u	NOUN
ejpam-830	64	29	)	)	PUNCT
ejpam-830	64	30	.	.	PUNCT
ejpam-830	65	1	(	(	PUNCT
ejpam-830	65	2	12	12	NUM
ejpam-830	65	3	)	)	PUNCT
ejpam-830	65	4	proof	proof	NOUN
ejpam-830	65	5	.	.	PUNCT
ejpam-830	66	1	we	we	PRON
ejpam-830	66	2	define	define	VERB
ejpam-830	66	3	the	the	DET
ejpam-830	66	4	function	function	NOUN
ejpam-830	66	5	w	w	NOUN
ejpam-830	66	6	by	by	ADP
ejpam-830	66	7	w(z	w(z	NOUN
ejpam-830	66	8	)	)	PUNCT
ejpam-830	66	9	=	=	SYM
ejpam-830	66	10	iλp	iλp	PROPN
ejpam-830	66	11	,	,	PUNCT
ejpam-830	66	12	n(a	n(a	PROPN
ejpam-830	66	13	,	,	PUNCT
ejpam-830	66	14	b	b	NOUN
ejpam-830	66	15	;	;	PUNCT
ejpam-830	66	16	c	c	X
ejpam-830	66	17	)	)	PUNCT
ejpam-830	66	18	f	f	NOUN
ejpam-830	66	19	(	(	PUNCT
ejpam-830	66	20	z	z	PROPN
ejpam-830	66	21	)	)	PUNCT
ejpam-830	66	22	�	�	PROPN
ejpam-830	66	23	a	a	PRON
ejpam-830	66	24	,	,	PUNCT
ejpam-830	66	25	b	b	NOUN
ejpam-830	66	26	,	,	PUNCT
ejpam-830	66	27	c	c	PROPN
ejpam-830	66	28	∈	∈	PROPN
ejpam-830	66	29	r	r	NOUN
ejpam-830	66	30	\z−0	\z−0	NOUN
ejpam-830	66	31	;	;	PUNCT
ejpam-830	66	32	λ	λ	X
ejpam-830	66	33	>	>	X
ejpam-830	66	34	−p	−p	NOUN
ejpam-830	66	35	;	;	PUNCT
ejpam-830	66	36	p	p	PROPN
ejpam-830	66	37	∈	∈	PROPN
ejpam-830	66	38	n	n	PRON
ejpam-830	66	39	�	�	PROPN
ejpam-830	66	40	(	(	PUNCT
ejpam-830	66	41	13	13	NUM
ejpam-830	66	42	)	)	PUNCT
ejpam-830	66	43	for	for	ADP
ejpam-830	66	44	f	f	PROPN
ejpam-830	66	45	belonging	belong	VERB
ejpam-830	66	46	to	to	ADP
ejpam-830	66	47	the	the	DET
ejpam-830	66	48	class	class	NOUN
ejpam-830	66	49	an(p	an(p	NUM
ejpam-830	66	50	)	)	PUNCT
ejpam-830	66	51	.	.	PUNCT
ejpam-830	67	1	then	then	ADV
ejpam-830	67	2	,	,	PUNCT
ejpam-830	67	3	it	it	PRON
ejpam-830	67	4	follows	follow	VERB
ejpam-830	67	5	that	that	SCONJ
ejpam-830	67	6	w	w	PROPN
ejpam-830	67	7	∈	∈	PROPN
ejpam-830	67	8	an(p	an(p	NUM
ejpam-830	67	9	)	)	PUNCT
ejpam-830	67	10	and	and	CCONJ
ejpam-830	67	11	w(z	w(z	PROPN
ejpam-830	67	12	)	)	PUNCT
ejpam-830	67	13	6=	6=	ADP
ejpam-830	67	14	0	0	NUM
ejpam-830	67	15	for	for	ADP
ejpam-830	67	16	z	z	PROPN
ejpam-830	67	17	∈	∈	PROPN
ejpam-830	67	18	u	u	NOUN
ejpam-830	67	19	\	\	X
ejpam-830	67	20	{	{	PUNCT
ejpam-830	67	21	0	0	NUM
ejpam-830	67	22	}	}	PUNCT
ejpam-830	67	23	.	.	PUNCT
ejpam-830	68	1	with	with	ADP
ejpam-830	68	2	the	the	DET
ejpam-830	68	3	aid	aid	NOUN
ejpam-830	68	4	of	of	ADP
ejpam-830	68	5	(	(	PUNCT
ejpam-830	68	6	5	5	NUM
ejpam-830	68	7	)	)	PUNCT
ejpam-830	68	8	,	,	PUNCT
ejpam-830	68	9	we	we	PRON
ejpam-830	68	10	have	have	VERB
ejpam-830	68	11	iλ+1	iλ+1	NUM
ejpam-830	68	12	p	p	NOUN
ejpam-830	68	13	,	,	PUNCT
ejpam-830	68	14	n	n	PROPN
ejpam-830	68	15	(	(	PUNCT
ejpam-830	68	16	a	a	DET
ejpam-830	68	17	,	,	PUNCT
ejpam-830	68	18	b	b	NOUN
ejpam-830	68	19	;	;	PUNCT
ejpam-830	68	20	c	c	X
ejpam-830	68	21	)	)	PUNCT
ejpam-830	68	22	f	f	NOUN
ejpam-830	68	23	(	(	PUNCT
ejpam-830	68	24	z	z	NOUN
ejpam-830	68	25	)	)	PUNCT
ejpam-830	68	26	=	=	SYM
ejpam-830	68	27	1	1	NUM
ejpam-830	68	28	(	(	PUNCT
ejpam-830	68	29	λ+	λ+	VERB
ejpam-830	68	30	p	p	X
ejpam-830	68	31	)	)	PUNCT
ejpam-830	68	32	�	�	PROPN
ejpam-830	68	33	zw′(z	zw′(z	NOUN
ejpam-830	68	34	)	)	PUNCT
ejpam-830	69	1	+	+	NOUN
ejpam-830	69	2	λw(z	λw(z	X
ejpam-830	69	3	)	)	PUNCT
ejpam-830	69	4	�	�	PROPN
ejpam-830	69	5	(	(	PUNCT
ejpam-830	69	6	14	14	NUM
ejpam-830	69	7	)	)	PUNCT
ejpam-830	69	8	and	and	CCONJ
ejpam-830	69	9	iλ+2	iλ+2	NOUN
ejpam-830	69	10	p	p	NOUN
ejpam-830	69	11	,	,	PUNCT
ejpam-830	69	12	n	n	PROPN
ejpam-830	69	13	(	(	PUNCT
ejpam-830	69	14	a	a	PRON
ejpam-830	69	15	,	,	PUNCT
ejpam-830	69	16	b	b	NOUN
ejpam-830	69	17	;	;	PUNCT
ejpam-830	69	18	c	c	X
ejpam-830	69	19	)	)	PUNCT
ejpam-830	69	20	f	f	NOUN
ejpam-830	69	21	(	(	PUNCT
ejpam-830	69	22	z	z	NOUN
ejpam-830	69	23	)	)	PUNCT
ejpam-830	69	24	=	=	SYM
ejpam-830	69	25	z2w′(z	z2w′(z	ADJ
ejpam-830	69	26	)	)	PUNCT
ejpam-830	70	1	+	+	NUM
ejpam-830	70	2	2(λ+	2(λ+	NUM
ejpam-830	70	3	1)zw′(z	1)zw′(z	X
ejpam-830	70	4	)	)	PUNCT
ejpam-830	71	1	+	+	ADP
ejpam-830	71	2	λ(λ+	λ(λ+	NOUN
ejpam-830	71	3	1)w(z	1)w(z	NUM
ejpam-830	71	4	)	)	PUNCT
ejpam-830	71	5	(	(	PUNCT
ejpam-830	71	6	λ+	λ+	PUNCT
ejpam-830	71	7	p)(λ+	p)(λ+	PROPN
ejpam-830	71	8	p+	p+	NOUN
ejpam-830	71	9	1	1	NUM
ejpam-830	71	10	)	)	PUNCT
ejpam-830	71	11	.	.	PUNCT
ejpam-830	72	1	(	(	PUNCT
ejpam-830	72	2	15	15	X
ejpam-830	72	3	)	)	PUNCT
ejpam-830	72	4	suppose	suppose	VERB
ejpam-830	72	5	that	that	SCONJ
ejpam-830	72	6	z0	z0	PROPN
ejpam-830	72	7	=	=	PUNCT
ejpam-830	72	8	r0eiθ	r0eiθ	PROPN
ejpam-830	72	9	(	(	PUNCT
ejpam-830	72	10	0	0	NUM
ejpam-830	72	11	<	<	X
ejpam-830	72	12	r0	r0	NOUN
ejpam-830	72	13	<	<	X
ejpam-830	72	14	1;θ	1;θ	NUM
ejpam-830	72	15	∈	∈	PROPN
ejpam-830	72	16	r	r	NOUN
ejpam-830	72	17	)	)	PUNCT
ejpam-830	72	18	and	and	CCONJ
ejpam-830	72	19	w(z0	w(z0	NOUN
ejpam-830	72	20	)	)	PUNCT
ejpam-830	72	21	=	=	SYM
ejpam-830	72	22	max	max	NOUN
ejpam-830	72	23	|z|≤|z0|	|z|≤|z0|	NOUN
ejpam-830	72	24	|w(z)|	|w(z)|	VERB
ejpam-830	72	25	=	=	SYM
ejpam-830	72	26	1	1	X
ejpam-830	72	27	.	.	PUNCT
ejpam-830	73	1	(	(	PUNCT
ejpam-830	73	2	16	16	NUM
ejpam-830	73	3	)	)	PUNCT
ejpam-830	73	4	j.	j.	PROPN
ejpam-830	73	5	dziok	dziok	PROPN
ejpam-830	73	6	,	,	PUNCT
ejpam-830	73	7	m.	m.	NOUN
ejpam-830	73	8	aouf	aouf	PROPN
ejpam-830	73	9	,	,	PUNCT
ejpam-830	73	10	j.	j.	PROPN
ejpam-830	73	11	sokół	sokół	PROPN
ejpam-830	73	12	/	/	SYM
ejpam-830	73	13	eur	eur	PROPN
ejpam-830	73	14	.	.	PUNCT
ejpam-830	74	1	j.	j.	PROPN
ejpam-830	74	2	pure	pure	PROPN
ejpam-830	74	3	appl	appl	PROPN
ejpam-830	74	4	.	.	PROPN
ejpam-830	74	5	math	math	PROPN
ejpam-830	74	6	,	,	PUNCT
ejpam-830	74	7	4	4	NUM
ejpam-830	74	8	(	(	PUNCT
ejpam-830	74	9	2011	2011	NUM
ejpam-830	74	10	)	)	PUNCT
ejpam-830	74	11	,	,	PUNCT
ejpam-830	74	12	322	322	NUM
ejpam-830	74	13	-	-	SYM
ejpam-830	74	14	329	329	NUM
ejpam-830	74	15	326	326	NUM
ejpam-830	74	16	then	then	ADV
ejpam-830	74	17	,	,	PUNCT
ejpam-830	74	18	letting	let	VERB
ejpam-830	74	19	w(z0	w(z0	NOUN
ejpam-830	74	20	)	)	PUNCT
ejpam-830	74	21	=	=	SYM
ejpam-830	74	22	eiθ	eiθ	PROPN
ejpam-830	74	23	and	and	CCONJ
ejpam-830	74	24	using	use	VERB
ejpam-830	74	25	(	(	PUNCT
ejpam-830	74	26	7	7	NUM
ejpam-830	74	27	)	)	PUNCT
ejpam-830	74	28	of	of	ADP
ejpam-830	74	29	lemma	lemma	PROPN
ejpam-830	74	30	1	1	NUM
ejpam-830	74	31	,	,	PUNCT
ejpam-830	74	32	we	we	PRON
ejpam-830	74	33	obtain	obtain	VERB
ejpam-830	74	34	iλp	iλp	PRON
ejpam-830	74	35	,	,	PUNCT
ejpam-830	74	36	n(a	n(a	PROPN
ejpam-830	74	37	,	,	PUNCT
ejpam-830	74	38	b	b	NOUN
ejpam-830	74	39	;	;	PUNCT
ejpam-830	74	40	c	c	X
ejpam-830	74	41	)	)	PUNCT
ejpam-830	74	42	f	f	PROPN
ejpam-830	74	43	(	(	PUNCT
ejpam-830	74	44	z0	z0	PROPN
ejpam-830	74	45	)	)	PUNCT
ejpam-830	74	46	=	=	PROPN
ejpam-830	74	47	eiθ	eiθ	PROPN
ejpam-830	74	48	,	,	PUNCT
ejpam-830	74	49	(	(	PUNCT
ejpam-830	74	50	17	17	NUM
ejpam-830	74	51	)	)	PUNCT
ejpam-830	74	52	iλ+1	iλ+1	NOUN
ejpam-830	75	1	p	p	NOUN
ejpam-830	75	2	,	,	PUNCT
ejpam-830	75	3	n	n	CCONJ
ejpam-830	75	4	(	(	PUNCT
ejpam-830	75	5	a	a	DET
ejpam-830	75	6	,	,	PUNCT
ejpam-830	75	7	b	b	NOUN
ejpam-830	75	8	;	;	PUNCT
ejpam-830	75	9	c	c	X
ejpam-830	75	10	)	)	PUNCT
ejpam-830	75	11	f	f	PROPN
ejpam-830	75	12	(	(	PUNCT
ejpam-830	75	13	z0	z0	PROPN
ejpam-830	75	14	)	)	PUNCT
ejpam-830	75	15	=	=	SYM
ejpam-830	75	16	1	1	NUM
ejpam-830	75	17	(	(	PUNCT
ejpam-830	75	18	λ+	λ+	VERB
ejpam-830	75	19	p	p	X
ejpam-830	75	20	)	)	PUNCT
ejpam-830	75	21	�	�	PROPN
ejpam-830	75	22	z0w′(z0	z0w′(z0	NOUN
ejpam-830	75	23	)	)	PUNCT
ejpam-830	75	24	+	+	NOUN
ejpam-830	75	25	λw(z0	λw(z0	ADV
ejpam-830	75	26	)	)	PUNCT
ejpam-830	75	27	�	�	PROPN
ejpam-830	75	28	=	=	SYM
ejpam-830	75	29	(	(	PUNCT
ejpam-830	75	30	ζ+λ	ζ+λ	X
ejpam-830	75	31	)	)	PUNCT
ejpam-830	75	32	(	(	PUNCT
ejpam-830	75	33	λ+	λ+	PUNCT
ejpam-830	75	34	p	p	X
ejpam-830	75	35	)	)	PUNCT
ejpam-830	75	36	eiθ	eiθ	PROPN
ejpam-830	75	37	(	(	PUNCT
ejpam-830	75	38	18	18	NUM
ejpam-830	75	39	)	)	PUNCT
ejpam-830	75	40	and	and	CCONJ
ejpam-830	75	41	iλ+2	iλ+2	NOUN
ejpam-830	75	42	p	p	NOUN
ejpam-830	75	43	,	,	PUNCT
ejpam-830	75	44	n	n	PROPN
ejpam-830	75	45	(	(	PUNCT
ejpam-830	75	46	a	a	PRON
ejpam-830	75	47	,	,	PUNCT
ejpam-830	75	48	b	b	NOUN
ejpam-830	75	49	;	;	PUNCT
ejpam-830	75	50	c	c	X
ejpam-830	75	51	)	)	PUNCT
ejpam-830	75	52	f	f	PROPN
ejpam-830	75	53	(	(	PUNCT
ejpam-830	75	54	z0	z0	PROPN
ejpam-830	75	55	)	)	PUNCT
ejpam-830	75	56	=	=	SYM
ejpam-830	75	57	1	1	NUM
ejpam-830	75	58	(	(	PUNCT
ejpam-830	75	59	λ+	λ+	NUM
ejpam-830	75	60	p)(λ+	p)(λ+	PROPN
ejpam-830	75	61	p+	p+	ADJ
ejpam-830	75	62	1	1	NUM
ejpam-830	75	63	)	)	PUNCT
ejpam-830	75	64	�	�	PROPN
ejpam-830	75	65	(	(	PUNCT
ejpam-830	75	66	λ+	λ+	NUM
ejpam-830	75	67	1)(λ+	1)(λ+	NUM
ejpam-830	75	68	2ζ)eiθ	2ζ)eiθ	NUM
ejpam-830	75	69	+	+	NOUN
ejpam-830	75	70	z2	z2	PROPN
ejpam-830	75	71	0	0	NUM
ejpam-830	75	72	w′(z0	w′(z0	NOUN
ejpam-830	75	73	)	)	PUNCT
ejpam-830	75	74	�	�	PROPN
ejpam-830	75	75	=	=	PUNCT
ejpam-830	75	76	(	(	PUNCT
ejpam-830	75	77	λ+	λ+	X
ejpam-830	75	78	1)(λ+	1)(λ+	NUM
ejpam-830	75	79	2ζ)eiθ	2ζ)eiθ	NUM
ejpam-830	75	80	+	+	NOUN
ejpam-830	75	81	m	m	VERB
ejpam-830	75	82	(	(	PUNCT
ejpam-830	75	83	λ+	λ+	PUNCT
ejpam-830	75	84	p)(λ+	p)(λ+	PROPN
ejpam-830	75	85	p+	p+	NOUN
ejpam-830	75	86	1	1	NUM
ejpam-830	75	87	)	)	PUNCT
ejpam-830	75	88	,	,	PUNCT
ejpam-830	75	89	(	(	PUNCT
ejpam-830	75	90	19	19	NUM
ejpam-830	75	91	)	)	PUNCT
ejpam-830	75	92	where	where	SCONJ
ejpam-830	75	93	m	m	VERB
ejpam-830	75	94	=	=	SYM
ejpam-830	75	95	z2	z2	PROPN
ejpam-830	75	96	0	0	NUM
ejpam-830	75	97	w′′(z0	w′′(z0	NOUN
ejpam-830	75	98	)	)	PUNCT
ejpam-830	75	99	and	and	CCONJ
ejpam-830	75	100	ζ≥	ζ≥	PROPN
ejpam-830	75	101	p	p	PROPN
ejpam-830	75	102	≥	≥	NUM
ejpam-830	75	103	1	1	NUM
ejpam-830	75	104	.	.	PUNCT
ejpam-830	75	105	further	far	ADV
ejpam-830	75	106	,	,	PUNCT
ejpam-830	75	107	an	an	DET
ejpam-830	75	108	application	application	NOUN
ejpam-830	75	109	of	of	ADP
ejpam-830	75	110	(	(	PUNCT
ejpam-830	75	111	8)	8)	NUM
ejpam-830	75	112	in	in	ADP
ejpam-830	75	113	lemma	lemma	PROPN
ejpam-830	75	114	1	1	NUM
ejpam-830	75	115	,	,	PUNCT
ejpam-830	75	116	gives	give	VERB
ejpam-830	75	117	re	re	ADP
ejpam-830	75	118	¨	¨	NOUN
ejpam-830	75	119	z0w′′(z0	z0w′′(z0	NOUN
ejpam-830	75	120	)	)	PUNCT
ejpam-830	75	121	w′(z0	w′(z0	NOUN
ejpam-830	75	122	)	)	PUNCT
ejpam-830	75	123	«	«	PUNCT
ejpam-830	76	1	=	=	NUM
ejpam-830	76	2	re	re	NOUN
ejpam-830	76	3	¨	¨	NOUN
ejpam-830	76	4	z2	z2	PROPN
ejpam-830	76	5	0	0	NUM
ejpam-830	76	6	w′′(z0	w′′(z0	PROPN
ejpam-830	76	7	)	)	PUNCT
ejpam-830	76	8	ζeiθ	ζeiθ	NOUN
ejpam-830	76	9	«	«	PUNCT
ejpam-830	76	10	≥	≥	NUM
ejpam-830	76	11	ζ−	ζ−	NOUN
ejpam-830	76	12	1	1	NUM
ejpam-830	76	13	,	,	PUNCT
ejpam-830	76	14	(	(	PUNCT
ejpam-830	76	15	20	20	NUM
ejpam-830	76	16	)	)	PUNCT
ejpam-830	76	17	or	or	CCONJ
ejpam-830	76	18	re	re	VERB
ejpam-830	76	19	¦	¦	PROPN
ejpam-830	76	20	e−iθm	e−iθm	ADV
ejpam-830	76	21	©	©	PROPN
ejpam-830	76	22	≥	≥	NUM
ejpam-830	76	23	ζ(ζ−	ζ(ζ−	NOUN
ejpam-830	76	24	1	1	NUM
ejpam-830	76	25	)	)	PUNCT
ejpam-830	76	26	(	(	PUNCT
ejpam-830	76	27	θ	θ	PROPN
ejpam-830	76	28	∈	∈	PROPN
ejpam-830	76	29	r;ζ	r;ζ	VERB
ejpam-830	76	30	≥	≥	NOUN
ejpam-830	76	31	1	1	NUM
ejpam-830	76	32	)	)	PUNCT
ejpam-830	76	33	.	.	PUNCT
ejpam-830	77	1	(	(	PUNCT
ejpam-830	77	2	21	21	NUM
ejpam-830	77	3	)	)	PUNCT
ejpam-830	77	4	since	since	SCONJ
ejpam-830	77	5	ϕ(r	ϕ(r	PROPN
ejpam-830	77	6	,	,	PUNCT
ejpam-830	77	7	s	s	PROPN
ejpam-830	77	8	,	,	PUNCT
ejpam-830	77	9	t	t	PROPN
ejpam-830	77	10	)	)	PUNCT
ejpam-830	77	11	∈	∈	PROPN
ejpam-830	77	12	φ	φ	NOUN
ejpam-830	77	13	,	,	PUNCT
ejpam-830	77	14	we	we	PRON
ejpam-830	77	15	also	also	ADV
ejpam-830	77	16	have	have	VERB
ejpam-830	77	17	�	�	PROPN
ejpam-830	77	18	�	�	PROPN
ejpam-830	77	19	�	�	PROPN
ejpam-830	77	20	ϕ	ϕ	PROPN
ejpam-830	77	21	�	�	PROPN
ejpam-830	77	22	iλp	iλp	PROPN
ejpam-830	77	23	,	,	PUNCT
ejpam-830	77	24	n(a	n(a	PROPN
ejpam-830	77	25	,	,	PUNCT
ejpam-830	77	26	b	b	NOUN
ejpam-830	77	27	;	;	PUNCT
ejpam-830	77	28	c	c	X
ejpam-830	77	29	)	)	PUNCT
ejpam-830	77	30	f	f	NOUN
ejpam-830	77	31	(	(	PUNCT
ejpam-830	77	32	z	z	NOUN
ejpam-830	77	33	)	)	PUNCT
ejpam-830	77	34	,	,	PUNCT
ejpam-830	77	35	iλ+1	iλ+1	ADP
ejpam-830	77	36	p	p	NOUN
ejpam-830	77	37	,	,	PUNCT
ejpam-830	77	38	n	n	CCONJ
ejpam-830	77	39	(	(	PUNCT
ejpam-830	77	40	a	a	DET
ejpam-830	77	41	,	,	PUNCT
ejpam-830	77	42	b	b	NOUN
ejpam-830	77	43	;	;	PUNCT
ejpam-830	77	44	c	c	X
ejpam-830	77	45	)	)	PUNCT
ejpam-830	77	46	f	f	NOUN
ejpam-830	77	47	(	(	PUNCT
ejpam-830	77	48	z	z	NOUN
ejpam-830	77	49	)	)	PUNCT
ejpam-830	77	50	,	,	PUNCT
ejpam-830	78	1	iλ+2	iλ+2	NOUN
ejpam-830	78	2	p	p	NOUN
ejpam-830	78	3	,	,	PUNCT
ejpam-830	78	4	n	n	CCONJ
ejpam-830	78	5	(	(	PUNCT
ejpam-830	78	6	a	a	PRON
ejpam-830	78	7	,	,	PUNCT
ejpam-830	78	8	b	b	NOUN
ejpam-830	78	9	;	;	PUNCT
ejpam-830	78	10	c	c	X
ejpam-830	78	11	)	)	PUNCT
ejpam-830	78	12	f	f	NOUN
ejpam-830	78	13	(	(	PUNCT
ejpam-830	78	14	z	z	NOUN
ejpam-830	78	15	)	)	PUNCT
ejpam-830	78	16	�	�	PROPN
ejpam-830	78	17	�	�	PROPN
ejpam-830	78	18	�	�	PROPN
ejpam-830	78	19	�	�	PROPN
ejpam-830	78	20	=	=	SYM
ejpam-830	78	21	�	�	PROPN
ejpam-830	78	22	�	�	PROPN
ejpam-830	78	23	�	�	PROPN
ejpam-830	78	24	�	�	PROPN
ejpam-830	78	25	ϕ	ϕ	PROPN
ejpam-830	78	26	�	�	PROPN
ejpam-830	78	27	eiθ	eiθ	PROPN
ejpam-830	78	28	,	,	PUNCT
ejpam-830	78	29	ζ+λ	ζ+λ	NUM
ejpam-830	78	30	λ+	λ+	PUNCT
ejpam-830	78	31	p	p	X
ejpam-830	78	32	eiθ	eiθ	PROPN
ejpam-830	78	33	,	,	PUNCT
ejpam-830	78	34	1	1	NUM
ejpam-830	78	35	(	(	PUNCT
ejpam-830	78	36	λ+	λ+	PUNCT
ejpam-830	78	37	p)(λ+	p)(λ+	PROPN
ejpam-830	78	38	p+	p+	ADJ
ejpam-830	78	39	1	1	NUM
ejpam-830	78	40	)	)	PUNCT
ejpam-830	78	41	�	�	PROPN
ejpam-830	78	42	(	(	PUNCT
ejpam-830	78	43	λ+	λ+	NUM
ejpam-830	78	44	1)(λ+	1)(λ+	NUM
ejpam-830	78	45	2ζ)eiθ	2ζ)eiθ	NUM
ejpam-830	79	1	+	+	NOUN
ejpam-830	79	2	m	m	VERB
ejpam-830	79	3	�	�	PROPN
ejpam-830	79	4	�	�	PROPN
ejpam-830	79	5	�	�	PROPN
ejpam-830	79	6	�	�	PROPN
ejpam-830	79	7	�	�	PROPN
ejpam-830	79	8	�	�	PROPN
ejpam-830	79	9	>	>	X
ejpam-830	79	10	1	1	NUM
ejpam-830	79	11	(	(	PUNCT
ejpam-830	79	12	22	22	NUM
ejpam-830	79	13	)	)	PUNCT
ejpam-830	79	14	which	which	PRON
ejpam-830	79	15	contradicts	contradict	VERB
ejpam-830	79	16	the	the	DET
ejpam-830	79	17	condition	condition	NOUN
ejpam-830	79	18	(	(	PUNCT
ejpam-830	79	19	11	11	NUM
ejpam-830	79	20	)	)	PUNCT
ejpam-830	79	21	of	of	ADP
ejpam-830	79	22	theorem	theorem	NOUN
ejpam-830	79	23	1	1	NUM
ejpam-830	79	24	.	.	PUNCT
ejpam-830	80	1	therefore	therefore	ADV
ejpam-830	80	2	,	,	PUNCT
ejpam-830	80	3	we	we	PRON
ejpam-830	80	4	conclude	conclude	VERB
ejpam-830	80	5	that	that	SCONJ
ejpam-830	80	6	|w(z)|	|w(z)|	PROPN
ejpam-830	80	7	=	=	SYM
ejpam-830	80	8	�	�	PROPN
ejpam-830	80	9	�	�	PROPN
ejpam-830	80	10	�	�	PROPN
ejpam-830	80	11	iλp	iλp	PROPN
ejpam-830	80	12	,	,	PUNCT
ejpam-830	80	13	n(a	n(a	PROPN
ejpam-830	80	14	,	,	PUNCT
ejpam-830	80	15	b	b	NOUN
ejpam-830	80	16	;	;	PUNCT
ejpam-830	80	17	c	c	X
ejpam-830	80	18	)	)	PUNCT
ejpam-830	80	19	f	f	NOUN
ejpam-830	80	20	(	(	PUNCT
ejpam-830	80	21	z	z	NOUN
ejpam-830	80	22	)	)	PUNCT
ejpam-830	80	23	�	�	PROPN
ejpam-830	80	24	�	�	PROPN
ejpam-830	80	25	�	�	PROPN
ejpam-830	80	26	<	<	X
ejpam-830	80	27	1	1	NUM
ejpam-830	80	28	(	(	PUNCT
ejpam-830	80	29	z	z	NOUN
ejpam-830	80	30	∈	∈	PROPN
ejpam-830	80	31	u	u	NOUN
ejpam-830	80	32	)	)	PUNCT
ejpam-830	80	33	.	.	PUNCT
ejpam-830	81	1	(	(	PUNCT
ejpam-830	81	2	23	23	NUM
ejpam-830	81	3	)	)	PUNCT
ejpam-830	81	4	this	this	PRON
ejpam-830	81	5	completes	complete	VERB
ejpam-830	81	6	the	the	DET
ejpam-830	81	7	proof	proof	NOUN
ejpam-830	81	8	of	of	ADP
ejpam-830	81	9	theorem	theorem	ADJ
ejpam-830	81	10	1	1	NUM
ejpam-830	81	11	.	.	PUNCT
ejpam-830	81	12	corollary	corollary	ADJ
ejpam-830	81	13	1	1	NUM
ejpam-830	81	14	.	.	PUNCT
ejpam-830	82	1	let	let	VERB
ejpam-830	82	2	ϕ1(r	ϕ1(r	NOUN
ejpam-830	82	3	,	,	PUNCT
ejpam-830	82	4	s	s	PROPN
ejpam-830	82	5	,	,	PUNCT
ejpam-830	82	6	t	t	PROPN
ejpam-830	82	7	)	)	PUNCT
ejpam-830	82	8	=	=	SYM
ejpam-830	82	9	s	s	PROPN
ejpam-830	82	10	and	and	CCONJ
ejpam-830	82	11	let	let	VERB
ejpam-830	82	12	f	f	PROPN
ejpam-830	82	13	∈	∈	PROPN
ejpam-830	82	14	an(p	an(p	NOUN
ejpam-830	82	15	)	)	PUNCT
ejpam-830	82	16	satisfy	satisfy	VERB
ejpam-830	82	17	the	the	DET
ejpam-830	82	18	conditions	condition	NOUN
ejpam-830	82	19	in	in	ADP
ejpam-830	82	20	theorem	theorem	NOUN
ejpam-830	82	21	1	1	NUM
ejpam-830	82	22	for	for	ADP
ejpam-830	82	23	a	a	DET
ejpam-830	82	24	,	,	PUNCT
ejpam-830	82	25	b	b	NOUN
ejpam-830	82	26	,	,	PUNCT
ejpam-830	82	27	c	c	PROPN
ejpam-830	82	28	∈	∈	PROPN
ejpam-830	82	29	r	r	NOUN
ejpam-830	82	30	\z−	\z−	NOUN
ejpam-830	82	31	0	0	PUNCT
ejpam-830	82	32	,	,	PUNCT
ejpam-830	82	33	λ	λ	X
ejpam-830	82	34	>	>	X
ejpam-830	82	35	−p	−p	NOUN
ejpam-830	82	36	,	,	PUNCT
ejpam-830	82	37	p	p	NOUN
ejpam-830	82	38	∈	∈	PROPN
ejpam-830	82	39	n	n	NOUN
ejpam-830	82	40	and	and	CCONJ
ejpam-830	82	41	z	z	PROPN
ejpam-830	82	42	∈	∈	PROPN
ejpam-830	83	1	u.	u.	PROPN
ejpam-830	83	2	then	then	ADV
ejpam-830	83	3	�	�	PROPN
ejpam-830	83	4	�	�	PROPN
ejpam-830	83	5	�	�	PROPN
ejpam-830	83	6	iλ+i	iλ+i	PROPN
ejpam-830	83	7	p	p	NOUN
ejpam-830	83	8	,	,	PUNCT
ejpam-830	83	9	n	n	PROPN
ejpam-830	83	10	(	(	PUNCT
ejpam-830	83	11	a	a	DET
ejpam-830	83	12	,	,	PUNCT
ejpam-830	83	13	b	b	NOUN
ejpam-830	83	14	;	;	PUNCT
ejpam-830	83	15	c	c	X
ejpam-830	83	16	)	)	PUNCT
ejpam-830	83	17	f	f	NOUN
ejpam-830	83	18	(	(	PUNCT
ejpam-830	83	19	z	z	NOUN
ejpam-830	83	20	)	)	PUNCT
ejpam-830	83	21	�	�	PROPN
ejpam-830	83	22	�	�	PROPN
ejpam-830	83	23	�	�	PROPN
ejpam-830	83	24	<	<	X
ejpam-830	83	25	1	1	NUM
ejpam-830	83	26	(	(	PUNCT
ejpam-830	83	27	i	i	NOUN
ejpam-830	83	28	=	=	NOUN
ejpam-830	83	29	0,1,2	0,1,2	NUM
ejpam-830	83	30	,	,	PUNCT
ejpam-830	83	31	.	.	PUNCT
ejpam-830	83	32	.	.	PUNCT
ejpam-830	83	33	.	.	PUNCT
ejpam-830	84	1	;	;	PUNCT
ejpam-830	84	2	a	a	DET
ejpam-830	84	3	,	,	PUNCT
ejpam-830	84	4	b	b	NOUN
ejpam-830	84	5	,	,	PUNCT
ejpam-830	84	6	c	c	PROPN
ejpam-830	84	7	∈	∈	PROPN
ejpam-830	84	8	r	r	NOUN
ejpam-830	84	9	\z−0	\z−0	NOUN
ejpam-830	84	10	;	;	PUNCT
ejpam-830	84	11	λ	λ	X
ejpam-830	84	12	>	>	X
ejpam-830	84	13	−p	−p	NOUN
ejpam-830	84	14	;	;	PUNCT
ejpam-830	84	15	p	p	PROPN
ejpam-830	84	16	∈	∈	PROPN
ejpam-830	84	17	n	n	CCONJ
ejpam-830	84	18	;	;	PUNCT
ejpam-830	84	19	z	z	PROPN
ejpam-830	84	20	∈	∈	PROPN
ejpam-830	84	21	u	u	NOUN
ejpam-830	84	22	)	)	PUNCT
ejpam-830	84	23	.	.	PUNCT
ejpam-830	85	1	note	note	VERB
ejpam-830	85	2	that	that	SCONJ
ejpam-830	85	3	ϕ1(r	ϕ1(r	PROPN
ejpam-830	85	4	,	,	PUNCT
ejpam-830	85	5	s	s	PROPN
ejpam-830	85	6	,	,	PUNCT
ejpam-830	85	7	t	t	PROPN
ejpam-830	85	8	)	)	PUNCT
ejpam-830	85	9	=	=	SYM
ejpam-830	86	1	s	s	NOUN
ejpam-830	86	2	is	be	AUX
ejpam-830	86	3	in	in	ADP
ejpam-830	86	4	φ	φ	PROPN
ejpam-830	86	5	,	,	PUNCT
ejpam-830	86	6	with	with	ADP
ejpam-830	86	7	the	the	DET
ejpam-830	86	8	aid	aid	NOUN
ejpam-830	86	9	of	of	ADP
ejpam-830	86	10	theorem	theorem	NOUN
ejpam-830	86	11	1	1	NUM
ejpam-830	86	12	,	,	PUNCT
ejpam-830	86	13	we	we	PRON
ejpam-830	86	14	have	have	VERB
ejpam-830	86	15	�	�	PROPN
ejpam-830	86	16	�	�	PROPN
ejpam-830	86	17	�	�	PROPN
ejpam-830	86	18	iλp	iλp	PROPN
ejpam-830	86	19	,	,	PUNCT
ejpam-830	86	20	n(a	n(a	PROPN
ejpam-830	86	21	,	,	PUNCT
ejpam-830	86	22	b	b	NOUN
ejpam-830	86	23	;	;	PUNCT
ejpam-830	86	24	c	c	X
ejpam-830	86	25	)	)	PUNCT
ejpam-830	86	26	f	f	NOUN
ejpam-830	86	27	(	(	PUNCT
ejpam-830	86	28	z	z	NOUN
ejpam-830	86	29	)	)	PUNCT
ejpam-830	86	30	�	�	PROPN
ejpam-830	86	31	�	�	PROPN
ejpam-830	86	32	�	�	PROPN
ejpam-830	86	33	<	<	X
ejpam-830	86	34	1⇒	1⇒	PROPN
ejpam-830	86	35	�	�	PROPN
ejpam-830	86	36	�	�	PROPN
ejpam-830	86	37	�	�	PROPN
ejpam-830	86	38	iλ+1	iλ+1	ADP
ejpam-830	86	39	p	p	NOUN
ejpam-830	86	40	,	,	PUNCT
ejpam-830	86	41	n	n	CCONJ
ejpam-830	86	42	(	(	PUNCT
ejpam-830	86	43	a	a	DET
ejpam-830	86	44	,	,	PUNCT
ejpam-830	86	45	b	b	NOUN
ejpam-830	86	46	;	;	PUNCT
ejpam-830	86	47	c	c	X
ejpam-830	86	48	)	)	PUNCT
ejpam-830	86	49	f	f	NOUN
ejpam-830	86	50	(	(	PUNCT
ejpam-830	86	51	z	z	NOUN
ejpam-830	86	52	)	)	PUNCT
ejpam-830	86	53	�	�	PROPN
ejpam-830	86	54	�	�	PROPN
ejpam-830	86	55	�	�	PROPN
ejpam-830	86	56	<	<	X
ejpam-830	86	57	1	1	NUM
ejpam-830	86	58	⇒	⇒	PROPN
ejpam-830	86	59	�	�	PROPN
ejpam-830	86	60	�	�	PROPN
ejpam-830	86	61	�	�	PROPN
ejpam-830	86	62	iλ+i	iλ+i	PROPN
ejpam-830	86	63	p	p	NOUN
ejpam-830	86	64	,	,	PUNCT
ejpam-830	86	65	n	n	PROPN
ejpam-830	86	66	(	(	PUNCT
ejpam-830	86	67	a	a	DET
ejpam-830	86	68	,	,	PUNCT
ejpam-830	86	69	b	b	NOUN
ejpam-830	86	70	;	;	PUNCT
ejpam-830	86	71	c	c	X
ejpam-830	86	72	)	)	PUNCT
ejpam-830	86	73	f	f	NOUN
ejpam-830	86	74	(	(	PUNCT
ejpam-830	86	75	z	z	NOUN
ejpam-830	86	76	)	)	PUNCT
ejpam-830	86	77	�	�	PROPN
ejpam-830	86	78	�	�	PROPN
ejpam-830	86	79	�	�	PROPN
ejpam-830	86	80	<	<	X
ejpam-830	86	81	1	1	NUM
ejpam-830	86	82	(	(	PUNCT
ejpam-830	86	83	i	i	NOUN
ejpam-830	86	84	=	=	NOUN
ejpam-830	86	85	0,1,2	0,1,2	NUM
ejpam-830	86	86	,	,	PUNCT
ejpam-830	86	87	.	.	PUNCT
ejpam-830	86	88	.	.	PUNCT
ejpam-830	86	89	.	.	PUNCT
ejpam-830	87	1	;	;	PUNCT
ejpam-830	87	2	a	a	DET
ejpam-830	87	3	,	,	PUNCT
ejpam-830	87	4	b	b	NOUN
ejpam-830	87	5	,	,	PUNCT
ejpam-830	87	6	c	c	PROPN
ejpam-830	87	7	∈	∈	PROPN
ejpam-830	87	8	r	r	NOUN
ejpam-830	87	9	\z−0	\z−0	NOUN
ejpam-830	87	10	;	;	PUNCT
ejpam-830	87	11	λ	λ	X
ejpam-830	87	12	>	>	X
ejpam-830	87	13	−p	−p	NOUN
ejpam-830	87	14	;	;	PUNCT
ejpam-830	87	15	p	p	PROPN
ejpam-830	87	16	∈	∈	PROPN
ejpam-830	87	17	n	n	CCONJ
ejpam-830	87	18	;	;	PUNCT
ejpam-830	87	19	z	z	PROPN
ejpam-830	87	20	∈	∈	PROPN
ejpam-830	87	21	u	u	NOUN
ejpam-830	87	22	)	)	PUNCT
ejpam-830	87	23	.	.	PUNCT
ejpam-830	88	1	j.	j.	PROPN
ejpam-830	88	2	dziok	dziok	PROPN
ejpam-830	88	3	,	,	PUNCT
ejpam-830	88	4	m.	m.	NOUN
ejpam-830	88	5	aouf	aouf	PROPN
ejpam-830	88	6	,	,	PUNCT
ejpam-830	88	7	j.	j.	PROPN
ejpam-830	88	8	sokół	sokół	PROPN
ejpam-830	88	9	/	/	SYM
ejpam-830	88	10	eur	eur	PROPN
ejpam-830	88	11	.	.	PUNCT
ejpam-830	89	1	j.	j.	PROPN
ejpam-830	89	2	pure	pure	PROPN
ejpam-830	89	3	appl	appl	PROPN
ejpam-830	89	4	.	.	PROPN
ejpam-830	89	5	math	math	PROPN
ejpam-830	89	6	,	,	PUNCT
ejpam-830	89	7	4	4	NUM
ejpam-830	89	8	(	(	PUNCT
ejpam-830	89	9	2011	2011	NUM
ejpam-830	89	10	)	)	PUNCT
ejpam-830	89	11	,	,	PUNCT
ejpam-830	89	12	322	322	NUM
ejpam-830	89	13	-	-	SYM
ejpam-830	89	14	329	329	NUM
ejpam-830	89	15	327	327	NUM
ejpam-830	89	16	theorem	theorem	NOUN
ejpam-830	89	17	2	2	NUM
ejpam-830	89	18	.	.	PUNCT
ejpam-830	90	1	let	let	VERB
ejpam-830	90	2	h(r	h(r	PROPN
ejpam-830	90	3	,	,	PUNCT
ejpam-830	90	4	s	s	PROPN
ejpam-830	90	5	,	,	PUNCT
ejpam-830	90	6	t	t	PROPN
ejpam-830	90	7	)	)	PUNCT
ejpam-830	90	8	∈	∈	PROPN
ejpam-830	90	9	h	h	NOUN
ejpam-830	90	10	,	,	PUNCT
ejpam-830	90	11	and	and	CCONJ
ejpam-830	90	12	let	let	VERB
ejpam-830	90	13	f	f	PROPN
ejpam-830	90	14	∈an(p	∈an(p	PROPN
ejpam-830	90	15	)	)	PUNCT
ejpam-830	90	16	satisfy	satisfy	NOUN
ejpam-830	90	17	iλp	iλp	PROPN
ejpam-830	90	18	,	,	PUNCT
ejpam-830	90	19	n(a	n(a	PROPN
ejpam-830	90	20	,	,	PUNCT
ejpam-830	90	21	b	b	NOUN
ejpam-830	90	22	;	;	PUNCT
ejpam-830	90	23	c	c	X
ejpam-830	90	24	)	)	PUNCT
ejpam-830	90	25	f	f	NOUN
ejpam-830	90	26	(	(	PUNCT
ejpam-830	90	27	z	z	NOUN
ejpam-830	90	28	)	)	PUNCT
ejpam-830	90	29	iλ−1	iλ−1	NOUN
ejpam-830	91	1	p	p	NOUN
ejpam-830	91	2	,	,	PUNCT
ejpam-830	91	3	n	n	CCONJ
ejpam-830	91	4	(	(	PUNCT
ejpam-830	91	5	a	a	DET
ejpam-830	91	6	,	,	PUNCT
ejpam-830	91	7	b	b	NOUN
ejpam-830	91	8	;	;	PUNCT
ejpam-830	91	9	c	c	X
ejpam-830	91	10	)	)	PUNCT
ejpam-830	91	11	f	f	NOUN
ejpam-830	91	12	(	(	PUNCT
ejpam-830	91	13	z	z	NOUN
ejpam-830	91	14	)	)	PUNCT
ejpam-830	91	15	,	,	PUNCT
ejpam-830	91	16	iλ+1	iλ+1	ADP
ejpam-830	91	17	p	p	NOUN
ejpam-830	91	18	,	,	PUNCT
ejpam-830	91	19	n	n	CCONJ
ejpam-830	91	20	(	(	PUNCT
ejpam-830	91	21	a	a	DET
ejpam-830	91	22	,	,	PUNCT
ejpam-830	91	23	b	b	NOUN
ejpam-830	91	24	;	;	PUNCT
ejpam-830	91	25	c	c	X
ejpam-830	91	26	)	)	PUNCT
ejpam-830	91	27	f	f	NOUN
ejpam-830	91	28	(	(	PUNCT
ejpam-830	91	29	z	z	NOUN
ejpam-830	91	30	)	)	PUNCT
ejpam-830	91	31	iλp	iλp	PROPN
ejpam-830	91	32	,	,	PUNCT
ejpam-830	91	33	n(a	n(a	PROPN
ejpam-830	91	34	,	,	PUNCT
ejpam-830	91	35	b	b	NOUN
ejpam-830	91	36	;	;	PUNCT
ejpam-830	91	37	c	c	X
ejpam-830	91	38	)	)	PUNCT
ejpam-830	91	39	f	f	NOUN
ejpam-830	91	40	(	(	PUNCT
ejpam-830	91	41	z	z	NOUN
ejpam-830	91	42	)	)	PUNCT
ejpam-830	91	43	,	,	PUNCT
ejpam-830	91	44	iλ+2	iλ+2	NOUN
ejpam-830	91	45	p	p	NOUN
ejpam-830	91	46	,	,	PUNCT
ejpam-830	91	47	n	n	CCONJ
ejpam-830	91	48	(	(	PUNCT
ejpam-830	91	49	a	a	DET
ejpam-830	91	50	,	,	PUNCT
ejpam-830	91	51	b	b	NOUN
ejpam-830	91	52	;	;	PUNCT
ejpam-830	91	53	c	c	X
ejpam-830	91	54	)	)	PUNCT
ejpam-830	91	55	f	f	NOUN
ejpam-830	91	56	(	(	PUNCT
ejpam-830	91	57	z	z	NOUN
ejpam-830	91	58	)	)	PUNCT
ejpam-830	91	59	iλ+1	iλ+1	ADP
ejpam-830	92	1	p	p	NOUN
ejpam-830	92	2	,	,	PUNCT
ejpam-830	92	3	n	n	CCONJ
ejpam-830	92	4	(	(	PUNCT
ejpam-830	92	5	a	a	DET
ejpam-830	92	6	,	,	PUNCT
ejpam-830	92	7	b	b	NOUN
ejpam-830	92	8	;	;	PUNCT
ejpam-830	92	9	c	c	X
ejpam-830	92	10	)	)	PUNCT
ejpam-830	92	11	f	f	NOUN
ejpam-830	92	12	(	(	PUNCT
ejpam-830	92	13	z	z	NOUN
ejpam-830	92	14	)	)	PUNCT
ejpam-830	92	15	!	!	PUNCT
ejpam-830	93	1	∈	∈	PROPN
ejpam-830	93	2	d⊂	d⊂	PROPN
ejpam-830	93	3	c3	c3	PROPN
ejpam-830	93	4	(	(	PUNCT
ejpam-830	93	5	24	24	NUM
ejpam-830	93	6	)	)	PUNCT
ejpam-830	93	7	and	and	CCONJ
ejpam-830	93	8	�	�	PROPN
ejpam-830	93	9	�	�	PROPN
ejpam-830	93	10	�	�	PROPN
ejpam-830	93	11	�	�	PROPN
ejpam-830	93	12	�	�	PROPN
ejpam-830	93	13	h	h	PROPN
ejpam-830	93	14	iλp	iλp	PROPN
ejpam-830	93	15	,	,	PUNCT
ejpam-830	93	16	n(a	n(a	PROPN
ejpam-830	93	17	,	,	PUNCT
ejpam-830	93	18	b	b	NOUN
ejpam-830	93	19	;	;	PUNCT
ejpam-830	93	20	c	c	X
ejpam-830	93	21	)	)	PUNCT
ejpam-830	93	22	f	f	NOUN
ejpam-830	93	23	(	(	PUNCT
ejpam-830	93	24	z	z	NOUN
ejpam-830	93	25	)	)	PUNCT
ejpam-830	93	26	iλ−1	iλ−1	NOUN
ejpam-830	93	27	p	p	NOUN
ejpam-830	93	28	,	,	PUNCT
ejpam-830	93	29	n	n	CCONJ
ejpam-830	93	30	(	(	PUNCT
ejpam-830	93	31	a	a	DET
ejpam-830	93	32	,	,	PUNCT
ejpam-830	93	33	b	b	NOUN
ejpam-830	93	34	;	;	PUNCT
ejpam-830	93	35	c	c	X
ejpam-830	93	36	)	)	PUNCT
ejpam-830	93	37	f	f	NOUN
ejpam-830	93	38	(	(	PUNCT
ejpam-830	93	39	z	z	NOUN
ejpam-830	93	40	)	)	PUNCT
ejpam-830	93	41	,	,	PUNCT
ejpam-830	93	42	iλ+1	iλ+1	ADP
ejpam-830	93	43	p	p	NOUN
ejpam-830	93	44	,	,	PUNCT
ejpam-830	93	45	n	n	CCONJ
ejpam-830	93	46	(	(	PUNCT
ejpam-830	93	47	a	a	DET
ejpam-830	93	48	,	,	PUNCT
ejpam-830	93	49	b	b	NOUN
ejpam-830	93	50	;	;	PUNCT
ejpam-830	93	51	c	c	X
ejpam-830	93	52	)	)	PUNCT
ejpam-830	93	53	f	f	NOUN
ejpam-830	93	54	(	(	PUNCT
ejpam-830	93	55	z	z	NOUN
ejpam-830	93	56	)	)	PUNCT
ejpam-830	93	57	iλp	iλp	PROPN
ejpam-830	93	58	,	,	PUNCT
ejpam-830	93	59	n(a	n(a	PROPN
ejpam-830	93	60	,	,	PUNCT
ejpam-830	93	61	b	b	NOUN
ejpam-830	93	62	;	;	PUNCT
ejpam-830	93	63	c	c	X
ejpam-830	93	64	)	)	PUNCT
ejpam-830	93	65	f	f	NOUN
ejpam-830	93	66	(	(	PUNCT
ejpam-830	93	67	z	z	NOUN
ejpam-830	93	68	)	)	PUNCT
ejpam-830	93	69	,	,	PUNCT
ejpam-830	93	70	iλ+2	iλ+2	NOUN
ejpam-830	93	71	p	p	NOUN
ejpam-830	93	72	,	,	PUNCT
ejpam-830	93	73	n	n	CCONJ
ejpam-830	93	74	(	(	PUNCT
ejpam-830	93	75	a	a	DET
ejpam-830	93	76	,	,	PUNCT
ejpam-830	93	77	b	b	NOUN
ejpam-830	93	78	;	;	PUNCT
ejpam-830	93	79	c	c	X
ejpam-830	93	80	)	)	PUNCT
ejpam-830	93	81	f	f	NOUN
ejpam-830	93	82	(	(	PUNCT
ejpam-830	93	83	z	z	NOUN
ejpam-830	93	84	)	)	PUNCT
ejpam-830	93	85	iλ+1	iλ+1	ADP
ejpam-830	94	1	p	p	NOUN
ejpam-830	94	2	,	,	PUNCT
ejpam-830	94	3	n	n	CCONJ
ejpam-830	94	4	(	(	PUNCT
ejpam-830	94	5	a	a	DET
ejpam-830	94	6	,	,	PUNCT
ejpam-830	94	7	b	b	NOUN
ejpam-830	94	8	;	;	PUNCT
ejpam-830	94	9	c	c	X
ejpam-830	94	10	)	)	PUNCT
ejpam-830	94	11	f	f	NOUN
ejpam-830	94	12	(	(	PUNCT
ejpam-830	94	13	z	z	NOUN
ejpam-830	94	14	)	)	PUNCT
ejpam-830	94	15	!	!	PUNCT
ejpam-830	95	1	�	�	PROPN
ejpam-830	95	2	�	�	PROPN
ejpam-830	95	3	�	�	PROPN
ejpam-830	95	4	�	�	PROPN
ejpam-830	95	5	�	�	PROPN
ejpam-830	95	6	<	<	X
ejpam-830	95	7	j	j	PROPN
ejpam-830	95	8	(	(	PUNCT
ejpam-830	95	9	25	25	NUM
ejpam-830	95	10	)	)	PUNCT
ejpam-830	95	11	for	for	ADP
ejpam-830	95	12	some	some	DET
ejpam-830	95	13	a	a	DET
ejpam-830	95	14	,	,	PUNCT
ejpam-830	95	15	b	b	NOUN
ejpam-830	95	16	,	,	PUNCT
ejpam-830	95	17	c	c	X
ejpam-830	95	18	,	,	PUNCT
ejpam-830	95	19	λ	λ	PROPN
ejpam-830	95	20	,	,	PUNCT
ejpam-830	95	21	p	p	NOUN
ejpam-830	95	22	,	,	PUNCT
ejpam-830	95	23	n	n	CCONJ
ejpam-830	95	24	,	,	PUNCT
ejpam-830	95	25	j	j	PROPN
ejpam-830	95	26	�	�	PROPN
ejpam-830	95	27	a	a	PROPN
ejpam-830	95	28	,	,	PUNCT
ejpam-830	95	29	b	b	NOUN
ejpam-830	95	30	,	,	PUNCT
ejpam-830	95	31	c	c	PROPN
ejpam-830	95	32	∈	∈	PROPN
ejpam-830	95	33	r	r	NOUN
ejpam-830	95	34	\z−	\z−	NOUN
ejpam-830	95	35	0	0	NUM
ejpam-830	95	36	;	;	PUNCT
ejpam-830	95	37	λ	λ	X
ejpam-830	95	38	>	>	X
ejpam-830	95	39	1	1	NUM
ejpam-830	95	40	;	;	PUNCT
ejpam-830	95	41	p	p	X
ejpam-830	95	42	,	,	PUNCT
ejpam-830	95	43	n	n	PROPN
ejpam-830	95	44	∈	∈	PROPN
ejpam-830	95	45	n	n	CCONJ
ejpam-830	95	46	;	;	PUNCT
ejpam-830	95	47	j	j	PROPN
ejpam-830	95	48	>	>	SYM
ejpam-830	95	49	1	1	NUM
ejpam-830	95	50	�	�	PROPN
ejpam-830	95	51	and	and	CCONJ
ejpam-830	95	52	for	for	ADP
ejpam-830	95	53	all	all	DET
ejpam-830	95	54	z	z	NOUN
ejpam-830	95	55	∈	∈	PROPN
ejpam-830	95	56	u.	u.	NOUN
ejpam-830	95	57	then	then	ADV
ejpam-830	95	58	we	we	PRON
ejpam-830	95	59	have	have	VERB
ejpam-830	95	60	�	�	PROPN
ejpam-830	95	61	�	�	PROPN
ejpam-830	95	62	�	�	PROPN
ejpam-830	95	63	�	�	PROPN
ejpam-830	95	64	�	�	PROPN
ejpam-830	95	65	iλp	iλp	PROPN
ejpam-830	95	66	,	,	PUNCT
ejpam-830	95	67	n(a	n(a	PROPN
ejpam-830	95	68	,	,	PUNCT
ejpam-830	95	69	b	b	NOUN
ejpam-830	95	70	;	;	PUNCT
ejpam-830	95	71	c	c	X
ejpam-830	95	72	)	)	PUNCT
ejpam-830	95	73	f	f	NOUN
ejpam-830	95	74	(	(	PUNCT
ejpam-830	95	75	z	z	NOUN
ejpam-830	95	76	)	)	PUNCT
ejpam-830	95	77	iλ−1	iλ−1	NOUN
ejpam-830	95	78	p	p	NOUN
ejpam-830	95	79	,	,	PUNCT
ejpam-830	95	80	n	n	CCONJ
ejpam-830	95	81	(	(	PUNCT
ejpam-830	95	82	a	a	DET
ejpam-830	95	83	,	,	PUNCT
ejpam-830	95	84	b	b	NOUN
ejpam-830	95	85	;	;	PUNCT
ejpam-830	95	86	c	c	X
ejpam-830	95	87	)	)	PUNCT
ejpam-830	95	88	f	f	NOUN
ejpam-830	95	89	(	(	PUNCT
ejpam-830	95	90	z	z	NOUN
ejpam-830	95	91	)	)	PUNCT
ejpam-830	95	92	�	�	PROPN
ejpam-830	95	93	�	�	PROPN
ejpam-830	95	94	�	�	PROPN
ejpam-830	95	95	�	�	PROPN
ejpam-830	95	96	�	�	PROPN
ejpam-830	95	97	<	<	X
ejpam-830	95	98	j	j	PROPN
ejpam-830	95	99	(	(	PUNCT
ejpam-830	95	100	z	z	PROPN
ejpam-830	95	101	∈	∈	PROPN
ejpam-830	95	102	u	u	NOUN
ejpam-830	95	103	)	)	PUNCT
ejpam-830	95	104	.	.	PUNCT
ejpam-830	96	1	(	(	PUNCT
ejpam-830	96	2	26	26	NUM
ejpam-830	96	3	)	)	PUNCT
ejpam-830	96	4	proof	proof	NOUN
ejpam-830	96	5	.	.	PUNCT
ejpam-830	97	1	we	we	PRON
ejpam-830	97	2	define	define	VERB
ejpam-830	97	3	the	the	DET
ejpam-830	97	4	function	function	NOUN
ejpam-830	97	5	w	w	NOUN
ejpam-830	97	6	by	by	ADP
ejpam-830	97	7	w(z	w(z	NOUN
ejpam-830	97	8	)	)	PUNCT
ejpam-830	97	9	=	=	SYM
ejpam-830	97	10	iλp	iλp	PROPN
ejpam-830	97	11	,	,	PUNCT
ejpam-830	97	12	n(a	n(a	PROPN
ejpam-830	97	13	,	,	PUNCT
ejpam-830	97	14	b	b	NOUN
ejpam-830	97	15	;	;	PUNCT
ejpam-830	97	16	c	c	X
ejpam-830	97	17	)	)	PUNCT
ejpam-830	97	18	f	f	NOUN
ejpam-830	97	19	(	(	PUNCT
ejpam-830	97	20	z	z	NOUN
ejpam-830	97	21	)	)	PUNCT
ejpam-830	97	22	iλ−1	iλ−1	NOUN
ejpam-830	97	23	p	p	NOUN
ejpam-830	97	24	,	,	PUNCT
ejpam-830	97	25	n	n	CCONJ
ejpam-830	97	26	(	(	PUNCT
ejpam-830	97	27	a	a	DET
ejpam-830	97	28	,	,	PUNCT
ejpam-830	97	29	b	b	NOUN
ejpam-830	97	30	;	;	PUNCT
ejpam-830	97	31	c	c	X
ejpam-830	97	32	)	)	PUNCT
ejpam-830	97	33	f	f	NOUN
ejpam-830	97	34	(	(	PUNCT
ejpam-830	97	35	z	z	NOUN
ejpam-830	97	36	)	)	PUNCT
ejpam-830	97	37	(	(	PUNCT
ejpam-830	97	38	27	27	NUM
ejpam-830	97	39	)	)	PUNCT
ejpam-830	97	40	for	for	ADP
ejpam-830	97	41	f	f	PROPN
ejpam-830	97	42	belonging	belong	VERB
ejpam-830	97	43	to	to	ADP
ejpam-830	97	44	the	the	DET
ejpam-830	97	45	class	class	NOUN
ejpam-830	97	46	an(p	an(p	NUM
ejpam-830	97	47	)	)	PUNCT
ejpam-830	97	48	.	.	PUNCT
ejpam-830	98	1	then	then	ADV
ejpam-830	98	2	,	,	PUNCT
ejpam-830	98	3	it	it	PRON
ejpam-830	98	4	follows	follow	VERB
ejpam-830	98	5	that	that	SCONJ
ejpam-830	98	6	w	w	NOUN
ejpam-830	98	7	is	be	AUX
ejpam-830	98	8	either	either	CCONJ
ejpam-830	98	9	analytic	analytic	ADJ
ejpam-830	98	10	or	or	CCONJ
ejpam-830	98	11	meromorphic	meromorphic	ADJ
ejpam-830	98	12	in	in	ADP
ejpam-830	98	13	u	u	PROPN
ejpam-830	98	14	,	,	PUNCT
ejpam-830	98	15	w(0	w(0	PROPN
ejpam-830	98	16	)	)	PUNCT
ejpam-830	98	17	=	=	SYM
ejpam-830	98	18	1	1	NUM
ejpam-830	98	19	,	,	PUNCT
ejpam-830	98	20	and	and	CCONJ
ejpam-830	98	21	w(z	w(z	PROPN
ejpam-830	98	22	)	)	PUNCT
ejpam-830	98	23	6=	6=	ADP
ejpam-830	98	24	1	1	X
ejpam-830	98	25	.	.	PUNCT
ejpam-830	98	26	with	with	ADP
ejpam-830	98	27	the	the	DET
ejpam-830	98	28	aid	aid	NOUN
ejpam-830	98	29	of	of	ADP
ejpam-830	98	30	the	the	DET
ejpam-830	98	31	identity	identity	NOUN
ejpam-830	98	32	(	(	PUNCT
ejpam-830	98	33	5	5	NUM
ejpam-830	98	34	)	)	PUNCT
ejpam-830	98	35	,	,	PUNCT
ejpam-830	98	36	we	we	PRON
ejpam-830	98	37	have	have	VERB
ejpam-830	98	38	iλ+1	iλ+1	NUM
ejpam-830	98	39	p	p	NOUN
ejpam-830	98	40	,	,	PUNCT
ejpam-830	98	41	n	n	PROPN
ejpam-830	98	42	(	(	PUNCT
ejpam-830	98	43	a	a	DET
ejpam-830	98	44	,	,	PUNCT
ejpam-830	98	45	b	b	NOUN
ejpam-830	98	46	;	;	PUNCT
ejpam-830	98	47	c	c	X
ejpam-830	98	48	)	)	PUNCT
ejpam-830	98	49	f	f	NOUN
ejpam-830	98	50	(	(	PUNCT
ejpam-830	98	51	z	z	NOUN
ejpam-830	98	52	)	)	PUNCT
ejpam-830	98	53	iλp	iλp	PROPN
ejpam-830	98	54	,	,	PUNCT
ejpam-830	98	55	n(a	n(a	PROPN
ejpam-830	98	56	,	,	PUNCT
ejpam-830	98	57	b	b	NOUN
ejpam-830	98	58	;	;	PUNCT
ejpam-830	98	59	c	c	X
ejpam-830	98	60	)	)	PUNCT
ejpam-830	98	61	f	f	NOUN
ejpam-830	98	62	(	(	PUNCT
ejpam-830	98	63	z	z	NOUN
ejpam-830	98	64	)	)	PUNCT
ejpam-830	98	65	=	=	SYM
ejpam-830	98	66	1	1	NUM
ejpam-830	98	67	(	(	PUNCT
ejpam-830	98	68	λ+	λ+	VERB
ejpam-830	98	69	p	p	X
ejpam-830	98	70	)	)	PUNCT
ejpam-830	98	71	�	�	PROPN
ejpam-830	98	72	1	1	NUM
ejpam-830	98	73	+	+	CCONJ
ejpam-830	98	74	(	(	PUNCT
ejpam-830	98	75	λ+	λ+	NUM
ejpam-830	98	76	p−	p−	NOUN
ejpam-830	98	77	1)w(z	1)w(z	NUM
ejpam-830	98	78	)	)	PUNCT
ejpam-830	98	79	+	+	CCONJ
ejpam-830	98	80	zw′(z	zw′(z	SYM
ejpam-830	98	81	)	)	PUNCT
ejpam-830	98	82	w(z	w(z	PROPN
ejpam-830	98	83	)	)	PUNCT
ejpam-830	98	84	�	�	PROPN
ejpam-830	98	85	(	(	PUNCT
ejpam-830	98	86	28	28	NUM
ejpam-830	98	87	)	)	PUNCT
ejpam-830	98	88	and	and	CCONJ
ejpam-830	98	89	iλ+2	iλ+2	NOUN
ejpam-830	98	90	p	p	NOUN
ejpam-830	98	91	,	,	PUNCT
ejpam-830	98	92	n	n	PROPN
ejpam-830	98	93	(	(	PUNCT
ejpam-830	98	94	a	a	PRON
ejpam-830	98	95	,	,	PUNCT
ejpam-830	98	96	b	b	NOUN
ejpam-830	99	1	;	;	PUNCT
ejpam-830	99	2	c	c	X
ejpam-830	99	3	)	)	PUNCT
ejpam-830	99	4	f	f	NOUN
ejpam-830	99	5	(	(	PUNCT
ejpam-830	99	6	z	z	NOUN
ejpam-830	99	7	)	)	PUNCT
ejpam-830	99	8	iλ+1	iλ+1	ADP
ejpam-830	100	1	p	p	NOUN
ejpam-830	100	2	,	,	PUNCT
ejpam-830	100	3	n	n	CCONJ
ejpam-830	100	4	(	(	PUNCT
ejpam-830	100	5	a	a	DET
ejpam-830	100	6	,	,	PUNCT
ejpam-830	100	7	b	b	NOUN
ejpam-830	100	8	;	;	PUNCT
ejpam-830	100	9	c	c	X
ejpam-830	100	10	)	)	PUNCT
ejpam-830	100	11	f	f	NOUN
ejpam-830	100	12	(	(	PUNCT
ejpam-830	100	13	z	z	NOUN
ejpam-830	100	14	)	)	PUNCT
ejpam-830	100	15	=	=	SYM
ejpam-830	100	16	1	1	NUM
ejpam-830	100	17	(	(	PUNCT
ejpam-830	100	18	λ+	λ+	X
ejpam-830	100	19	p+	p+	NOUN
ejpam-830	100	20	1	1	NUM
ejpam-830	100	21	)	)	PUNCT
ejpam-830	100	22	¨	¨	NOUN
ejpam-830	100	23	2	2	NUM
ejpam-830	100	24	+	+	CCONJ
ejpam-830	100	25	(	(	PUNCT
ejpam-830	100	26	λ+	λ+	NUM
ejpam-830	100	27	p−	p−	NOUN
ejpam-830	100	28	1)w(z	1)w(z	NUM
ejpam-830	100	29	)	)	PUNCT
ejpam-830	100	30	+	+	CCONJ
ejpam-830	100	31	zw′(z	zw′(z	SYM
ejpam-830	100	32	)	)	PUNCT
ejpam-830	100	33	w(z	w(z	PROPN
ejpam-830	100	34	)	)	PUNCT
ejpam-830	101	1	+	+	CCONJ
ejpam-830	101	2	(	(	PUNCT
ejpam-830	101	3	λ+	λ+	PUNCT
ejpam-830	101	4	p−	p−	NOUN
ejpam-830	101	5	1)zw′(z	1)zw′(z	NUM
ejpam-830	101	6	)	)	PUNCT
ejpam-830	102	1	+	+	CCONJ
ejpam-830	102	2	zw′z	zw′z	NOUN
ejpam-830	102	3	)	)	PUNCT
ejpam-830	102	4	w(z	w(z	PROPN
ejpam-830	102	5	)	)	PUNCT
ejpam-830	102	6	+	+	CCONJ
ejpam-830	102	7	z2w′(z	z2w′(z	ADJ
ejpam-830	102	8	)	)	PUNCT
ejpam-830	102	9	w(z	w(z	PROPN
ejpam-830	102	10	)	)	PUNCT
ejpam-830	103	1	−	−	PROPN
ejpam-830	103	2	�	�	PROPN
ejpam-830	103	3	zw′(z	zw′(z	NOUN
ejpam-830	103	4	)	)	PUNCT
ejpam-830	103	5	w(z	w(z	PROPN
ejpam-830	103	6	)	)	PUNCT
ejpam-830	103	7	�	�	NOUN
ejpam-830	103	8	2	2	NUM
ejpam-830	103	9	1	1	NUM
ejpam-830	103	10	+	+	CCONJ
ejpam-830	103	11	(	(	PUNCT
ejpam-830	103	12	λ+	λ+	NUM
ejpam-830	103	13	p−	p−	NOUN
ejpam-830	103	14	1)w(z	1)w(z	NUM
ejpam-830	103	15	)	)	PUNCT
ejpam-830	103	16	+	+	CCONJ
ejpam-830	103	17	zw′(z	zw′(z	SYM
ejpam-830	103	18	)	)	PUNCT
ejpam-830	103	19	w(z	w(z	PROPN
ejpam-830	103	20	)	)	PUNCT
ejpam-830	103	21			PROPN
ejpam-830	103	22			PROPN
ejpam-830	103	23			NOUN
ejpam-830	103	24	.	.	PUNCT
ejpam-830	104	1	(	(	PUNCT
ejpam-830	104	2	29	29	NUM
ejpam-830	104	3	)	)	PUNCT
ejpam-830	104	4	suppose	suppose	VERB
ejpam-830	104	5	that	that	SCONJ
ejpam-830	104	6	z0	z0	PROPN
ejpam-830	104	7	=	=	PUNCT
ejpam-830	104	8	r0eiθ	r0eiθ	PROPN
ejpam-830	104	9	(	(	PUNCT
ejpam-830	104	10	0	0	NUM
ejpam-830	104	11	<	<	X
ejpam-830	104	12	r0	r0	NOUN
ejpam-830	104	13	<	<	X
ejpam-830	104	14	1;θ	1;θ	NUM
ejpam-830	104	15	∈	∈	PROPN
ejpam-830	104	16	r	r	NOUN
ejpam-830	104	17	)	)	PUNCT
ejpam-830	104	18	and	and	CCONJ
ejpam-830	104	19	�	�	PROPN
ejpam-830	104	20	�	�	PROPN
ejpam-830	104	21	w(z0	w(z0	NOUN
ejpam-830	104	22	)	)	PUNCT
ejpam-830	104	23	�	�	PROPN
ejpam-830	104	24	�	�	PROPN
ejpam-830	104	25	=	=	SYM
ejpam-830	104	26	max	max	PROPN
ejpam-830	104	27	|z|≤|z0|	|z|≤|z0|	NOUN
ejpam-830	104	28	|w(z)|	|w(z)|	VERB
ejpam-830	104	29	=	=	SYM
ejpam-830	104	30	j	j	PROPN
ejpam-830	104	31	.	.	PUNCT
ejpam-830	105	1	letting	let	VERB
ejpam-830	105	2	w(z0	w(z0	NOUN
ejpam-830	105	3	)	)	PUNCT
ejpam-830	105	4	=	=	SYM
ejpam-830	105	5	jeiθ	jeiθ	NOUN
ejpam-830	105	6	and	and	CCONJ
ejpam-830	105	7	using	use	VERB
ejpam-830	105	8	lemma	lemma	PROPN
ejpam-830	105	9	1	1	NUM
ejpam-830	105	10	with	with	ADP
ejpam-830	105	11	a	a	DET
ejpam-830	105	12	=	=	NOUN
ejpam-830	105	13	ν	ν	NOUN
ejpam-830	105	14	=	=	SYM
ejpam-830	105	15	1	1	NUM
ejpam-830	105	16	,	,	PUNCT
ejpam-830	105	17	we	we	PRON
ejpam-830	105	18	see	see	VERB
ejpam-830	105	19	that	that	PRON
ejpam-830	105	20	iλ+1	iλ+1	NOUN
ejpam-830	105	21	p	p	NOUN
ejpam-830	105	22	,	,	PUNCT
ejpam-830	105	23	n	n	CCONJ
ejpam-830	105	24	(	(	PUNCT
ejpam-830	105	25	a	a	DET
ejpam-830	105	26	,	,	PUNCT
ejpam-830	105	27	b	b	NOUN
ejpam-830	106	1	;	;	PUNCT
ejpam-830	106	2	c	c	X
ejpam-830	106	3	)	)	PUNCT
ejpam-830	106	4	f	f	PROPN
ejpam-830	106	5	(	(	PUNCT
ejpam-830	106	6	z0	z0	PROPN
ejpam-830	106	7	)	)	PUNCT
ejpam-830	106	8	iλp	iλp	PROPN
ejpam-830	106	9	,	,	PUNCT
ejpam-830	106	10	n(a	n(a	PROPN
ejpam-830	106	11	,	,	PUNCT
ejpam-830	106	12	b	b	NOUN
ejpam-830	106	13	;	;	PUNCT
ejpam-830	106	14	c	c	X
ejpam-830	106	15	)	)	PUNCT
ejpam-830	106	16	f	f	PROPN
ejpam-830	106	17	(	(	PUNCT
ejpam-830	106	18	z0	z0	PROPN
ejpam-830	106	19	)	)	PUNCT
ejpam-830	106	20	=	=	SYM
ejpam-830	106	21	1	1	NUM
ejpam-830	106	22	(	(	PUNCT
ejpam-830	106	23	λ+	λ+	VERB
ejpam-830	106	24	p	p	X
ejpam-830	106	25	)	)	PUNCT
ejpam-830	106	26	�	�	PROPN
ejpam-830	106	27	1	1	NUM
ejpam-830	106	28	+	+	NUM
ejpam-830	106	29	ζ+	ζ+	NUM
ejpam-830	106	30	(	(	PUNCT
ejpam-830	106	31	λ+	λ+	PUNCT
ejpam-830	106	32	p−	p−	X
ejpam-830	106	33	1)jeiθ	1)jeiθ	NUM
ejpam-830	106	34	�	�	PROPN
ejpam-830	106	35	(	(	PUNCT
ejpam-830	106	36	30	30	NUM
ejpam-830	106	37	)	)	PUNCT
ejpam-830	106	38	and	and	CCONJ
ejpam-830	106	39	iλ+2	iλ+2	NOUN
ejpam-830	106	40	p	p	NOUN
ejpam-830	106	41	,	,	PUNCT
ejpam-830	106	42	n	n	PROPN
ejpam-830	106	43	(	(	PUNCT
ejpam-830	106	44	a	a	PRON
ejpam-830	106	45	,	,	PUNCT
ejpam-830	106	46	b	b	NOUN
ejpam-830	106	47	;	;	PUNCT
ejpam-830	106	48	c	c	X
ejpam-830	106	49	)	)	PUNCT
ejpam-830	106	50	f	f	NOUN
ejpam-830	106	51	(	(	PUNCT
ejpam-830	106	52	z	z	NOUN
ejpam-830	106	53	)	)	PUNCT
ejpam-830	106	54	iλ+1	iλ+1	ADP
ejpam-830	107	1	p	p	NOUN
ejpam-830	107	2	,	,	PUNCT
ejpam-830	107	3	n	n	CCONJ
ejpam-830	107	4	(	(	PUNCT
ejpam-830	107	5	a	a	DET
ejpam-830	107	6	,	,	PUNCT
ejpam-830	107	7	b	b	NOUN
ejpam-830	107	8	;	;	PUNCT
ejpam-830	107	9	c	c	X
ejpam-830	107	10	)	)	PUNCT
ejpam-830	107	11	f	f	NOUN
ejpam-830	107	12	(	(	PUNCT
ejpam-830	107	13	z	z	NOUN
ejpam-830	107	14	)	)	PUNCT
ejpam-830	107	15	=	=	SYM
ejpam-830	107	16	1	1	NUM
ejpam-830	107	17	(	(	PUNCT
ejpam-830	107	18	λ+	λ+	X
ejpam-830	107	19	p+	p+	NOUN
ejpam-830	107	20	1	1	NUM
ejpam-830	107	21	)	)	PUNCT
ejpam-830	107	22	¨	¨	NOUN
ejpam-830	107	23	2	2	NUM
ejpam-830	107	24	+	+	NUM
ejpam-830	107	25	ζ+	ζ+	NUM
ejpam-830	107	26	(	(	PUNCT
ejpam-830	107	27	λ+	λ+	PUNCT
ejpam-830	107	28	p−	p−	X
ejpam-830	107	29	1)jeiθ	1)jeiθ	NUM
ejpam-830	107	30	+	+	CCONJ
ejpam-830	107	31	ζ−	ζ−	NOUN
ejpam-830	107	32	ζ2	ζ2	NOUN
ejpam-830	107	33	+	+	CCONJ
ejpam-830	107	34	(	(	PUNCT
ejpam-830	107	35	λ+	λ+	PUNCT
ejpam-830	107	36	p−	p−	NOUN
ejpam-830	107	37	1)ζjeiθ	1)ζjeiθ	NUM
ejpam-830	107	38	+	+	NUM
ejpam-830	107	39	l	l	NOUN
ejpam-830	107	40	ζ+	ζ+	PUNCT
ejpam-830	107	41	(	(	PUNCT
ejpam-830	107	42	λ+	λ+	PUNCT
ejpam-830	107	43	p−	p−	X
ejpam-830	107	44	1)jeiθ	1)jeiθ	NUM
ejpam-830	107	45	«	«	PUNCT
ejpam-830	107	46	,	,	PUNCT
ejpam-830	107	47	(	(	PUNCT
ejpam-830	107	48	31	31	NUM
ejpam-830	107	49	)	)	PUNCT
ejpam-830	107	50	references	reference	NOUN
ejpam-830	107	51	328	328	NUM
ejpam-830	107	52	where	where	SCONJ
ejpam-830	107	53	l	l	NOUN
ejpam-830	107	54	=	=	SYM
ejpam-830	107	55	z2	z2	PROPN
ejpam-830	107	56	0	0	NUM
ejpam-830	107	57	w′′(z0	w′′(z0	PROPN
ejpam-830	107	58	)	)	PUNCT
ejpam-830	107	59	w′(z0	w′(z0	NOUN
ejpam-830	107	60	)	)	PUNCT
ejpam-830	107	61	and	and	CCONJ
ejpam-830	107	62	ζ	ζ	PRON
ejpam-830	107	63	≥	≥	NOUN
ejpam-830	107	64	j	j	NOUN
ejpam-830	107	65	−	−	PROPN
ejpam-830	107	66	1	1	NUM
ejpam-830	107	67	j	j	PROPN
ejpam-830	107	68	+	+	NOUN
ejpam-830	107	69	1	1	NUM
ejpam-830	107	70	.	.	PUNCT
ejpam-830	108	1	further	far	ADV
ejpam-830	108	2	,	,	PUNCT
ejpam-830	108	3	an	an	DET
ejpam-830	108	4	application	application	NOUN
ejpam-830	108	5	of	of	ADP
ejpam-830	108	6	(	(	PUNCT
ejpam-830	108	7	16	16	NUM
ejpam-830	108	8	)	)	PUNCT
ejpam-830	108	9	in	in	ADP
ejpam-830	108	10	lemma	lemma	PROPN
ejpam-830	108	11	1	1	NUM
ejpam-830	108	12	gives	give	VERB
ejpam-830	108	13	re	re	NOUN
ejpam-830	108	14	{	{	PUNCT
ejpam-830	108	15	l	l	NOUN
ejpam-830	108	16	}	}	PUNCT
ejpam-830	108	17	≥	≥	NOUN
ejpam-830	108	18	ζ(ζ−	ζ(ζ−	NOUN
ejpam-830	108	19	1	1	NUM
ejpam-830	108	20	)	)	PUNCT
ejpam-830	108	21	.	.	PUNCT
ejpam-830	109	1	since	since	SCONJ
ejpam-830	109	2	h(r	h(r	PROPN
ejpam-830	109	3	,	,	PUNCT
ejpam-830	109	4	s	s	PROPN
ejpam-830	109	5	,	,	PUNCT
ejpam-830	109	6	t	t	NOUN
ejpam-830	109	7	)	)	PUNCT
ejpam-830	109	8	∈h	∈h	NOUN
ejpam-830	109	9	,	,	PUNCT
ejpam-830	109	10	we	we	PRON
ejpam-830	109	11	have	have	VERB
ejpam-830	109	12	�	�	PROPN
ejpam-830	109	13	�	�	PROPN
ejpam-830	109	14	�	�	PROPN
ejpam-830	109	15	�	�	PROPN
ejpam-830	109	16	�	�	PROPN
ejpam-830	109	17	h	h	PROPN
ejpam-830	109	18	iλp	iλp	PROPN
ejpam-830	109	19	,	,	PUNCT
ejpam-830	109	20	n(a	n(a	PROPN
ejpam-830	109	21	,	,	PUNCT
ejpam-830	109	22	b	b	NOUN
ejpam-830	109	23	;	;	PUNCT
ejpam-830	109	24	c	c	X
ejpam-830	109	25	)	)	PUNCT
ejpam-830	109	26	f	f	PROPN
ejpam-830	109	27	(	(	PUNCT
ejpam-830	109	28	z0	z0	PROPN
ejpam-830	109	29	)	)	PUNCT
ejpam-830	109	30	iλ−1	iλ−1	NOUN
ejpam-830	109	31	p	p	NOUN
ejpam-830	109	32	,	,	PUNCT
ejpam-830	109	33	n	n	CCONJ
ejpam-830	109	34	(	(	PUNCT
ejpam-830	109	35	a	a	DET
ejpam-830	109	36	,	,	PUNCT
ejpam-830	109	37	b	b	NOUN
ejpam-830	109	38	;	;	PUNCT
ejpam-830	109	39	c	c	X
ejpam-830	109	40	)	)	PUNCT
ejpam-830	109	41	f	f	PROPN
ejpam-830	109	42	(	(	PUNCT
ejpam-830	109	43	z0	z0	PROPN
ejpam-830	109	44	)	)	PUNCT
ejpam-830	109	45	,	,	PUNCT
ejpam-830	109	46	iλ+1	iλ+1	ADP
ejpam-830	109	47	p	p	NOUN
ejpam-830	109	48	,	,	PUNCT
ejpam-830	109	49	n	n	CCONJ
ejpam-830	109	50	(	(	PUNCT
ejpam-830	109	51	a	a	DET
ejpam-830	109	52	,	,	PUNCT
ejpam-830	109	53	b	b	NOUN
ejpam-830	109	54	;	;	PUNCT
ejpam-830	109	55	c	c	X
ejpam-830	109	56	)	)	PUNCT
ejpam-830	109	57	f	f	PROPN
ejpam-830	109	58	(	(	PUNCT
ejpam-830	109	59	z0	z0	PROPN
ejpam-830	109	60	)	)	PUNCT
ejpam-830	109	61	iλp	iλp	PROPN
ejpam-830	109	62	,	,	PUNCT
ejpam-830	109	63	n(a	n(a	PROPN
ejpam-830	109	64	,	,	PUNCT
ejpam-830	109	65	b	b	NOUN
ejpam-830	109	66	;	;	PUNCT
ejpam-830	109	67	c	c	X
ejpam-830	109	68	)	)	PUNCT
ejpam-830	109	69	f	f	PROPN
ejpam-830	109	70	(	(	PUNCT
ejpam-830	109	71	z0	z0	PROPN
ejpam-830	109	72	)	)	PUNCT
ejpam-830	109	73	,	,	PUNCT
ejpam-830	109	74	iλ+2	iλ+2	NOUN
ejpam-830	109	75	p	p	NOUN
ejpam-830	109	76	,	,	PUNCT
ejpam-830	109	77	n	n	CCONJ
ejpam-830	109	78	(	(	PUNCT
ejpam-830	109	79	a	a	DET
ejpam-830	109	80	,	,	PUNCT
ejpam-830	109	81	b	b	NOUN
ejpam-830	109	82	;	;	PUNCT
ejpam-830	110	1	c	c	X
ejpam-830	110	2	)	)	PUNCT
ejpam-830	110	3	f	f	PROPN
ejpam-830	110	4	(	(	PUNCT
ejpam-830	110	5	z0	z0	PROPN
ejpam-830	110	6	)	)	PUNCT
ejpam-830	110	7	iλ+1	iλ+1	NOUN
ejpam-830	111	1	p	p	NOUN
ejpam-830	111	2	,	,	PUNCT
ejpam-830	111	3	n	n	CCONJ
ejpam-830	111	4	(	(	PUNCT
ejpam-830	111	5	a	a	DET
ejpam-830	111	6	,	,	PUNCT
ejpam-830	111	7	b	b	NOUN
ejpam-830	111	8	;	;	PUNCT
ejpam-830	111	9	c	c	X
ejpam-830	111	10	)	)	PUNCT
ejpam-830	111	11	f	f	PROPN
ejpam-830	111	12	(	(	PUNCT
ejpam-830	111	13	z0	z0	PROPN
ejpam-830	111	14	)	)	PUNCT
ejpam-830	111	15	!	!	PUNCT
ejpam-830	112	1	�	�	PROPN
ejpam-830	112	2	�	�	PROPN
ejpam-830	112	3	�	�	PROPN
ejpam-830	112	4	�	�	PROPN
ejpam-830	112	5	�	�	PROPN
ejpam-830	112	6	=	=	SYM
ejpam-830	112	7	�	�	PROPN
ejpam-830	112	8	�	�	PROPN
ejpam-830	112	9	�	�	PROPN
ejpam-830	112	10	�	�	PROPN
ejpam-830	112	11	�	�	PROPN
ejpam-830	112	12	h	h	PROPN
ejpam-830	112	13	�	�	PROPN
ejpam-830	112	14	jeiθ	jeiθ	PROPN
ejpam-830	112	15	,	,	PUNCT
ejpam-830	112	16	1	1	NUM
ejpam-830	112	17	+	+	NUM
ejpam-830	112	18	ζ+	ζ+	NUM
ejpam-830	112	19	(	(	PUNCT
ejpam-830	112	20	λ+	λ+	PUNCT
ejpam-830	112	21	p−	p−	X
ejpam-830	112	22	1)jeiθ	1)jeiθ	NUM
ejpam-830	112	23	(	(	PUNCT
ejpam-830	112	24	λ+	λ+	PUNCT
ejpam-830	112	25	p	p	X
ejpam-830	112	26	+	+	NOUN
ejpam-830	112	27	1	1	NUM
ejpam-830	112	28	(	(	PUNCT
ejpam-830	112	29	λ+	λ+	X
ejpam-830	112	30	p+	p+	NOUN
ejpam-830	112	31	1	1	NUM
ejpam-830	112	32	)	)	PUNCT
ejpam-830	112	33	¦	¦	NOUN
ejpam-830	112	34	2	2	NUM
ejpam-830	112	35	+	+	NUM
ejpam-830	112	36	ζ+	ζ+	NUM
ejpam-830	112	37	(	(	PUNCT
ejpam-830	112	38	λ+	λ+	PUNCT
ejpam-830	112	39	p−	p−	X
ejpam-830	112	40	1)jeiθ	1)jeiθ	NUM
ejpam-830	112	41	+	+	CCONJ
ejpam-830	112	42	ζ−	ζ−	NOUN
ejpam-830	112	43	ζ2	ζ2	NOUN
ejpam-830	112	44	+	+	CCONJ
ejpam-830	112	45	(	(	PUNCT
ejpam-830	112	46	λ+	λ+	PUNCT
ejpam-830	112	47	p−	p−	NOUN
ejpam-830	112	48	1)ζjeiθ	1)ζjeiθ	NUM
ejpam-830	112	49	+	+	NUM
ejpam-830	112	50	l	l	NOUN
ejpam-830	112	51	ζ+	ζ+	PUNCT
ejpam-830	112	52	(	(	PUNCT
ejpam-830	112	53	λ+	λ+	PUNCT
ejpam-830	112	54	p−	p−	X
ejpam-830	112	55	1)jeiθ	1)jeiθ	NUM
ejpam-830	112	56	«	«	PUNCT
ejpam-830	112	57	�	�	PROPN
ejpam-830	112	58	�	�	PROPN
ejpam-830	112	59	�	�	PROPN
ejpam-830	112	60	�	�	PROPN
ejpam-830	112	61	�	�	PROPN
ejpam-830	112	62	�	�	PROPN
ejpam-830	112	63	≥	≥	PROPN
ejpam-830	112	64	j	j	PROPN
ejpam-830	112	65	,	,	PUNCT
ejpam-830	112	66	(	(	PUNCT
ejpam-830	112	67	32	32	NUM
ejpam-830	112	68	)	)	PUNCT
ejpam-830	112	69	which	which	PRON
ejpam-830	112	70	contradicts	contradict	VERB
ejpam-830	112	71	condition	condition	NOUN
ejpam-830	112	72	(	(	PUNCT
ejpam-830	112	73	25	25	NUM
ejpam-830	112	74	)	)	PUNCT
ejpam-830	112	75	of	of	ADP
ejpam-830	112	76	theorem	theorem	NOUN
ejpam-830	112	77	2	2	NUM
ejpam-830	112	78	.	.	PUNCT
ejpam-830	112	79	therefore	therefore	ADV
ejpam-830	112	80	,	,	PUNCT
ejpam-830	112	81	we	we	PRON
ejpam-830	112	82	conclude	conclude	VERB
ejpam-830	112	83	that	that	SCONJ
ejpam-830	112	84	|w(z)|	|w(z)|	PROPN
ejpam-830	112	85	=	=	SYM
ejpam-830	112	86	�	�	PROPN
ejpam-830	112	87	�	�	PROPN
ejpam-830	112	88	�	�	PROPN
ejpam-830	112	89	�	�	PROPN
ejpam-830	112	90	�	�	PROPN
ejpam-830	112	91	iλp	iλp	PROPN
ejpam-830	112	92	,	,	PUNCT
ejpam-830	112	93	n(a	n(a	PROPN
ejpam-830	112	94	,	,	PUNCT
ejpam-830	112	95	b	b	NOUN
ejpam-830	112	96	;	;	PUNCT
ejpam-830	112	97	c	c	X
ejpam-830	112	98	)	)	PUNCT
ejpam-830	112	99	f	f	NOUN
ejpam-830	112	100	(	(	PUNCT
ejpam-830	112	101	z	z	NOUN
ejpam-830	112	102	)	)	PUNCT
ejpam-830	112	103	iλ−1	iλ−1	NOUN
ejpam-830	112	104	p	p	NOUN
ejpam-830	112	105	,	,	PUNCT
ejpam-830	112	106	n	n	CCONJ
ejpam-830	112	107	(	(	PUNCT
ejpam-830	112	108	a	a	DET
ejpam-830	112	109	,	,	PUNCT
ejpam-830	112	110	b	b	NOUN
ejpam-830	112	111	;	;	PUNCT
ejpam-830	112	112	c	c	X
ejpam-830	112	113	)	)	PUNCT
ejpam-830	112	114	f	f	NOUN
ejpam-830	112	115	(	(	PUNCT
ejpam-830	112	116	z	z	NOUN
ejpam-830	112	117	)	)	PUNCT
ejpam-830	112	118	�	�	PROPN
ejpam-830	112	119	�	�	PROPN
ejpam-830	112	120	�	�	PROPN
ejpam-830	112	121	�	�	PROPN
ejpam-830	112	122	�	�	PROPN
ejpam-830	112	123	<	<	X
ejpam-830	112	124	j	j	PROPN
ejpam-830	112	125	(	(	PUNCT
ejpam-830	112	126	33	33	NUM
ejpam-830	112	127	)	)	PUNCT
ejpam-830	112	128	for	for	ADP
ejpam-830	112	129	some	some	PRON
ejpam-830	112	130	a	a	DET
ejpam-830	112	131	,	,	PUNCT
ejpam-830	112	132	b	b	NOUN
ejpam-830	112	133	,	,	PUNCT
ejpam-830	112	134	c	c	PROPN
ejpam-830	112	135	∈	∈	PROPN
ejpam-830	112	136	r	r	NOUN
ejpam-830	112	137	\z−0	\z−0	NOUN
ejpam-830	112	138	,	,	PUNCT
ejpam-830	112	139	λ	λ	X
ejpam-830	112	140	>	>	X
ejpam-830	112	141	1	1	NUM
ejpam-830	112	142	,	,	PUNCT
ejpam-830	112	143	p	p	NOUN
ejpam-830	112	144	,	,	PUNCT
ejpam-830	112	145	n	n	PROPN
ejpam-830	112	146	∈	∈	PROPN
ejpam-830	112	147	n	n	CCONJ
ejpam-830	112	148	,	,	PUNCT
ejpam-830	112	149	j	j	PROPN
ejpam-830	112	150	>	>	X
ejpam-830	112	151	1	1	NUM
ejpam-830	112	152	and	and	CCONJ
ejpam-830	112	153	for	for	ADP
ejpam-830	112	154	all	all	DET
ejpam-830	112	155	z	z	NOUN
ejpam-830	112	156	∈	∈	PROPN
ejpam-830	112	157	u	u	NOUN
ejpam-830	112	158	.	.	PUNCT
ejpam-830	113	1	this	this	PRON
ejpam-830	113	2	completes	complete	VERB
ejpam-830	113	3	the	the	DET
ejpam-830	113	4	proof	proof	NOUN
ejpam-830	113	5	of	of	ADP
ejpam-830	113	6	theorem	theorem	ADJ
ejpam-830	113	7	2	2	NUM
ejpam-830	113	8	.	.	NUM
ejpam-830	113	9	references	reference	NOUN
ejpam-830	113	10	[	[	X
ejpam-830	113	11	1	1	NUM
ejpam-830	113	12	]	]	PUNCT
ejpam-830	113	13	n	n	DET
ejpam-830	113	14	cho	cho	NOUN
ejpam-830	113	15	,	,	PUNCT
ejpam-830	113	16	o	o	PROPN
ejpam-830	113	17	kwon	kwon	PROPN
ejpam-830	113	18	and	and	CCONJ
ejpam-830	113	19	h	h	PROPN
ejpam-830	113	20	srivastava	srivastava	PROPN
ejpam-830	113	21	.	.	PUNCT
ejpam-830	114	1	inclusion	inclusion	NOUN
ejpam-830	114	2	relationships	relationship	NOUN
ejpam-830	114	3	and	and	CCONJ
ejpam-830	114	4	argument	argument	NOUN
ejpam-830	114	5	properties	property	NOUN
ejpam-830	114	6	for	for	ADP
ejpam-830	114	7	certain	certain	ADJ
ejpam-830	114	8	subclasses	subclass	NOUN
ejpam-830	114	9	of	of	ADP
ejpam-830	114	10	multivalent	multivalent	NOUN
ejpam-830	114	11	functions	function	NOUN
ejpam-830	114	12	associated	associate	VERB
ejpam-830	114	13	with	with	ADP
ejpam-830	114	14	a	a	DET
ejpam-830	114	15	family	family	NOUN
ejpam-830	114	16	of	of	ADP
ejpam-830	114	17	linear	linear	PROPN
ejpam-830	114	18	operators	operator	NOUN
ejpam-830	114	19	.	.	PUNCT
ejpam-830	115	1	j.	j.	PROPN
ejpam-830	115	2	math	math	PROPN
ejpam-830	115	3	.	.	PUNCT
ejpam-830	116	1	anal	anal	PROPN
ejpam-830	116	2	.	.	PUNCT
ejpam-830	117	1	appl	appl	PROPN
ejpam-830	117	2	.	.	PROPN
ejpam-830	117	3	,	,	PUNCT
ejpam-830	117	4	292:432–445	292:432–445	NUM
ejpam-830	117	5	,	,	PUNCT
ejpam-830	117	6	2004	2004	NUM
ejpam-830	117	7	.	.	PUNCT
ejpam-830	118	1	[	[	X
ejpam-830	118	2	2	2	NUM
ejpam-830	118	3	]	]	PUNCT
ejpam-830	118	4	j	j	PROPN
ejpam-830	118	5	choi	choi	PROPN
ejpam-830	118	6	,	,	PUNCT
ejpam-830	118	7	m	m	NOUN
ejpam-830	118	8	saigo	saigo	ADJ
ejpam-830	118	9	and	and	CCONJ
ejpam-830	118	10	h	h	PROPN
ejpam-830	118	11	srivastava	srivastava	PROPN
ejpam-830	118	12	.	.	PUNCT
ejpam-830	119	1	some	some	DET
ejpam-830	119	2	inclusion	inclusion	NOUN
ejpam-830	119	3	properties	property	NOUN
ejpam-830	119	4	of	of	ADP
ejpam-830	119	5	a	a	DET
ejpam-830	119	6	certain	certain	ADJ
ejpam-830	119	7	family	family	NOUN
ejpam-830	119	8	of	of	ADP
ejpam-830	119	9	integral	integral	ADJ
ejpam-830	119	10	operators	operator	NOUN
ejpam-830	119	11	.	.	PUNCT
ejpam-830	120	1	j.	j.	PROPN
ejpam-830	120	2	math	math	PROPN
ejpam-830	120	3	.	.	PUNCT
ejpam-830	121	1	anal	anal	PROPN
ejpam-830	121	2	.	.	PUNCT
ejpam-830	122	1	appl	appl	PROPN
ejpam-830	122	2	.	.	PROPN
ejpam-830	122	3	,	,	PUNCT
ejpam-830	122	4	276:432–445	276:432–445	NUM
ejpam-830	122	5	,	,	PUNCT
ejpam-830	122	6	2002	2002	NUM
ejpam-830	122	7	.	.	PUNCT
ejpam-830	123	1	[	[	X
ejpam-830	123	2	3	3	X
ejpam-830	123	3	]	]	PUNCT
ejpam-830	123	4	x	x	PART
ejpam-830	123	5	fu	fu	NOUN
ejpam-830	123	6	and	and	CCONJ
ejpam-830	123	7	m	m	PROPN
ejpam-830	123	8	liu	liu	PROPN
ejpam-830	123	9	.	.	PUNCT
ejpam-830	124	1	some	some	DET
ejpam-830	124	2	subclasses	subclass	NOUN
ejpam-830	124	3	of	of	ADP
ejpam-830	124	4	analytic	analytic	ADJ
ejpam-830	124	5	functions	function	NOUN
ejpam-830	124	6	involving	involve	VERB
ejpam-830	124	7	the	the	DET
ejpam-830	124	8	generalized	generalized	ADJ
ejpam-830	124	9	noor	noor	PROPN
ejpam-830	124	10	integral	integral	ADJ
ejpam-830	124	11	operator	operator	NOUN
ejpam-830	124	12	.	.	PUNCT
ejpam-830	125	1	j.	j.	PROPN
ejpam-830	125	2	math	math	PROPN
ejpam-830	125	3	.	.	PUNCT
ejpam-830	126	1	anal	anal	PROPN
ejpam-830	126	2	.	.	PUNCT
ejpam-830	127	1	appl	appl	PROPN
ejpam-830	127	2	.	.	PROPN
ejpam-830	127	3	,	,	PUNCT
ejpam-830	127	4	323:190–208	323:190–208	NUM
ejpam-830	127	5	,	,	PUNCT
ejpam-830	127	6	2006	2006	NUM
ejpam-830	127	7	.	.	PUNCT
ejpam-830	128	1	[	[	X
ejpam-830	128	2	4	4	X
ejpam-830	128	3	]	]	X
ejpam-830	128	4	j	j	PROPN
ejpam-830	128	5	liu	liu	PROPN
ejpam-830	128	6	and	and	CCONJ
ejpam-830	128	7	k	k	PROPN
ejpam-830	128	8	noor	noor	PROPN
ejpam-830	128	9	,	,	PUNCT
ejpam-830	128	10	some	some	DET
ejpam-830	128	11	properties	property	NOUN
ejpam-830	128	12	of	of	ADP
ejpam-830	128	13	noor	noor	PROPN
ejpam-830	128	14	integral	integral	ADJ
ejpam-830	128	15	operator	operator	NOUN
ejpam-830	128	16	.	.	PUNCT
ejpam-830	129	1	j.	j.	PROPN
ejpam-830	129	2	natural	natural	PROPN
ejpam-830	129	3	geometry	geometry	NOUN
ejpam-830	129	4	,	,	PUNCT
ejpam-830	129	5	21:81	21:81	NUM
ejpam-830	129	6	–	–	PUNCT
ejpam-830	129	7	90	90	NUM
ejpam-830	129	8	,	,	PUNCT
ejpam-830	129	9	2002	2002	NUM
ejpam-830	129	10	.	.	PUNCT
ejpam-830	130	1	[	[	X
ejpam-830	130	2	5	5	NUM
ejpam-830	130	3	]	]	SYM
ejpam-830	130	4	s	s	X
ejpam-830	130	5	miller	miller	NOUN
ejpam-830	130	6	and	and	CCONJ
ejpam-830	130	7	p	p	NOUN
ejpam-830	130	8	mocanu	mocanu	NOUN
ejpam-830	130	9	.	.	PUNCT
ejpam-830	131	1	second	second	ADJ
ejpam-830	131	2	order	order	NOUN
ejpam-830	131	3	differential	differential	ADJ
ejpam-830	131	4	inequalities	inequality	NOUN
ejpam-830	131	5	in	in	ADP
ejpam-830	131	6	the	the	DET
ejpam-830	131	7	complex	complex	ADJ
ejpam-830	131	8	plane	plane	NOUN
ejpam-830	131	9	.	.	PUNCT
ejpam-830	132	1	j.	j.	PROPN
ejpam-830	132	2	math	math	PROPN
ejpam-830	132	3	.	.	PUNCT
ejpam-830	133	1	anal	anal	PROPN
ejpam-830	133	2	.	.	PUNCT
ejpam-830	134	1	appl	appl	PROPN
ejpam-830	134	2	.	.	PROPN
ejpam-830	134	3	,	,	PUNCT
ejpam-830	135	1	65:289–305	65:289–305	NUM
ejpam-830	135	2	,	,	PUNCT
ejpam-830	135	3	1978	1978	NUM
ejpam-830	135	4	.	.	PUNCT
ejpam-830	136	1	[	[	X
ejpam-830	136	2	6	6	NUM
ejpam-830	136	3	]	]	X
ejpam-830	136	4	k	k	PROPN
ejpam-830	136	5	noor	noor	PROPN
ejpam-830	136	6	and	and	CCONJ
ejpam-830	136	7	m	m	PROPN
ejpam-830	136	8	noor	noor	PROPN
ejpam-830	136	9	.	.	PUNCT
ejpam-830	137	1	on	on	ADP
ejpam-830	137	2	integral	integral	ADJ
ejpam-830	137	3	operators	operator	NOUN
ejpam-830	137	4	.	.	PUNCT
ejpam-830	138	1	j.	j.	PROPN
ejpam-830	138	2	math	math	PROPN
ejpam-830	138	3	.	.	PUNCT
ejpam-830	139	1	anal	anal	PROPN
ejpam-830	139	2	.	.	PUNCT
ejpam-830	139	3	appl	appl	PROPN
ejpam-830	139	4	.	.	PROPN
ejpam-830	139	5	,	,	PUNCT
ejpam-830	139	6	238:341–352	238:341–352	NUM
ejpam-830	139	7	,	,	PUNCT
ejpam-830	139	8	1999	1999	NUM
ejpam-830	139	9	.	.	PUNCT
ejpam-830	140	1	[	[	X
ejpam-830	140	2	7	7	X
ejpam-830	140	3	]	]	SYM
ejpam-830	140	4	j	j	PROPN
ejpam-830	140	5	patel	patel	PROPN
ejpam-830	140	6	and	and	CCONJ
ejpam-830	140	7	n	n	PRON
ejpam-830	140	8	cho	cho	NOUN
ejpam-830	140	9	.	.	PUNCT
ejpam-830	141	1	some	some	DET
ejpam-830	141	2	classes	class	NOUN
ejpam-830	141	3	of	of	ADP
ejpam-830	141	4	analytic	analytic	ADJ
ejpam-830	141	5	functions	function	NOUN
ejpam-830	141	6	involving	involve	VERB
ejpam-830	141	7	noor	noor	PROPN
ejpam-830	141	8	integral	integral	ADJ
ejpam-830	141	9	operator	operator	NOUN
ejpam-830	141	10	.	.	PUNCT
ejpam-830	142	1	j.	j.	PROPN
ejpam-830	142	2	math	math	PROPN
ejpam-830	142	3	.	.	PUNCT
ejpam-830	143	1	anal	anal	PROPN
ejpam-830	143	2	.	.	PUNCT
ejpam-830	143	3	appl	appl	PROPN
ejpam-830	143	4	.	.	PROPN
ejpam-830	143	5	,	,	PUNCT
ejpam-830	143	6	312:564–575	312:564–575	NUM
ejpam-830	143	7	,	,	PUNCT
ejpam-830	143	8	2005	2005	NUM
ejpam-830	143	9	.	.	PUNCT
ejpam-830	144	1	references	reference	NOUN
ejpam-830	144	2	329	329	NUM
ejpam-830	145	1	[	[	X
ejpam-830	145	2	8	8	NUM
ejpam-830	145	3	]	]	PUNCT
ejpam-830	145	4	e	e	X
ejpam-830	145	5	whittaker	whittaker	NOUN
ejpam-830	145	6	and	and	CCONJ
ejpam-830	145	7	g	g	PROPN
ejpam-830	145	8	watson	watson	PROPN
ejpam-830	145	9	.	.	PUNCT
ejpam-830	146	1	a	a	DET
ejpam-830	146	2	course	course	NOUN
ejpam-830	146	3	of	of	ADP
ejpam-830	146	4	modern	modern	ADJ
ejpam-830	146	5	analysis	analysis	NOUN
ejpam-830	146	6	:	:	PUNCT
ejpam-830	146	7	an	an	DET
ejpam-830	146	8	introduction	introduction	NOUN
ejpam-830	146	9	to	to	ADP
ejpam-830	146	10	the	the	DET
ejpam-830	146	11	general	general	ADJ
ejpam-830	146	12	theory	theory	NOUN
ejpam-830	146	13	of	of	ADP
ejpam-830	146	14	infinite	infinite	ADJ
ejpam-830	146	15	processes	process	NOUN
ejpam-830	146	16	and	and	CCONJ
ejpam-830	146	17	of	of	ADP
ejpam-830	146	18	analytic	analytic	ADJ
ejpam-830	146	19	functions	function	NOUN
ejpam-830	146	20	;	;	PUNCT
ejpam-830	146	21	with	with	ADP
ejpam-830	146	22	an	an	DET
ejpam-830	146	23	account	account	NOUN
ejpam-830	146	24	of	of	ADP
ejpam-830	146	25	the	the	DET
ejpam-830	146	26	principal	principal	ADJ
ejpam-830	146	27	transcendental	transcendental	ADJ
ejpam-830	146	28	function	function	NOUN
ejpam-830	146	29	,	,	PUNCT
ejpam-830	146	30	fourth	fourth	PROPN
ejpam-830	146	31	edition	edition	NOUN
ejpam-830	146	32	,	,	PUNCT
ejpam-830	146	33	cambridge	cambridge	PROPN
ejpam-830	146	34	univ	univ	PROPN
ejpam-830	146	35	.	.	PUNCT
ejpam-830	147	1	press	press	PROPN
ejpam-830	147	2	,	,	PUNCT
ejpam-830	147	3	cambridge	cambridge	PROPN
ejpam-830	147	4	,	,	PUNCT
ejpam-830	147	5	1963	1963	NUM
ejpam-830	147	6	.	.	PUNCT