id	sid	tid	token	lemma	pos
iajs-2377	1	1	85	85	NUM
iajs-2377	1	2	ibn	ibn	PROPN
iajs-2377	1	3	al	al	PROPN
iajs-2377	1	4	-	-	PUNCT
iajs-2377	1	5	haitham	haitham	PROPN
iajs-2377	1	6	jour	jour	X
iajs-2377	1	7	.	.	PROPN
iajs-2377	1	8	for	for	ADP
iajs-2377	1	9	pure	pure	ADJ
iajs-2377	1	10	&	&	CCONJ
iajs-2377	1	11	appl	appl	PROPN
iajs-2377	1	12	.	.	PUNCT
iajs-2377	2	1	sci	sci	PROPN
iajs-2377	2	2	.	.	PROPN
iajs-2377	3	1	33	33	NUM
iajs-2377	3	2	(	(	PUNCT
iajs-2377	3	3	1	1	NUM
iajs-2377	3	4	)	)	PUNCT
iajs-2377	3	5	2020	2020	NUM
iajs-2377	4	1	zainab	zainab	PROPN
iajs-2377	4	2	h.	h.	PROPN
iajs-2377	4	3	mahmood	mahmood	PROPN
iajs-2377	4	4	kassim	kassim	PROPN
iajs-2377	4	5	a.	a.	PROPN
iajs-2377	4	6	jassim	jassim	PROPN
iajs-2377	4	7	abstract	abstract	VERB
iajs-2377	4	8	the	the	DET
iajs-2377	4	9	main	main	ADJ
iajs-2377	4	10	objectives	objective	NOUN
iajs-2377	4	11	of	of	ADP
iajs-2377	4	12	this	this	DET
iajs-2377	4	13	pepper	pepper	NOUN
iajs-2377	4	14	are	be	AUX
iajs-2377	4	15	to	to	PART
iajs-2377	4	16	introduce	introduce	VERB
iajs-2377	4	17	new	new	ADJ
iajs-2377	4	18	classes	class	NOUN
iajs-2377	4	19	.	.	PUNCT
iajs-2377	5	1	we	we	PRON
iajs-2377	5	2	have	have	AUX
iajs-2377	5	3	attempted	attempt	VERB
iajs-2377	5	4	to	to	PART
iajs-2377	5	5	obtain	obtain	VERB
iajs-2377	5	6	coefficient	coefficient	NOUN
iajs-2377	5	7	estimates	estimate	NOUN
iajs-2377	5	8	,	,	PUNCT
iajs-2377	5	9	radius	radius	NOUN
iajs-2377	5	10	of	of	ADP
iajs-2377	5	11	convexity	convexity	NOUN
iajs-2377	5	12	,	,	PUNCT
iajs-2377	5	13	distortion	distortion	NOUN
iajs-2377	5	14	and	and	CCONJ
iajs-2377	5	15	growth	growth	NOUN
iajs-2377	5	16	theorem	theorem	NOUN
iajs-2377	5	17	and	and	CCONJ
iajs-2377	5	18	other	other	ADJ
iajs-2377	5	19	related	relate	VERB
iajs-2377	5	20	results	result	NOUN
iajs-2377	5	21	for	for	ADP
iajs-2377	5	22	the	the	DET
iajs-2377	5	23	classes	class	NOUN
iajs-2377	5	24	(	(	PUNCT
iajs-2377	5	25	)	)	PUNCT
iajs-2377	5	26	(	(	PUNCT
iajs-2377	5	27	)	)	PUNCT
iajs-2377	5	28	keywords	keyword	NOUN
iajs-2377	5	29	:	:	PUNCT
iajs-2377	5	30	multivalent	multivalent	NOUN
iajs-2377	5	31	function	function	NOUN
iajs-2377	5	32	,	,	PUNCT
iajs-2377	5	33	subordination	subordination	NOUN
iajs-2377	5	34	,	,	PUNCT
iajs-2377	5	35	starlike	starlike	NOUN
iajs-2377	5	36	function	function	NOUN
iajs-2377	5	37	,	,	PUNCT
iajs-2377	5	38	growth	growth	NOUN
iajs-2377	5	39	theorem	theorem	NOUN
iajs-2377	5	40	,	,	PUNCT
iajs-2377	5	41	schwarz	schwarz	PROPN
iajs-2377	5	42	function	function	NOUN
iajs-2377	5	43	.	.	PUNCT
iajs-2377	6	1	1	1	X
iajs-2377	6	2	.	.	X
iajs-2377	6	3	introduction	introduction	NOUN
iajs-2377	6	4	let	let	VERB
iajs-2377	6	5	(	(	PUNCT
iajs-2377	6	6	)	)	PUNCT
iajs-2377	6	7	be	be	AUX
iajs-2377	6	8	the	the	DET
iajs-2377	6	9	set	set	NOUN
iajs-2377	6	10	of	of	ADP
iajs-2377	6	11	all	all	DET
iajs-2377	6	12	function	function	NOUN
iajs-2377	6	13	(	(	PUNCT
iajs-2377	6	14	)	)	PUNCT
iajs-2377	6	15	having	have	VERB
iajs-2377	6	16	the	the	DET
iajs-2377	6	17	form	form	NOUN
iajs-2377	6	18	(	(	PUNCT
iajs-2377	6	19	)	)	PUNCT
iajs-2377	6	20	∑	∑	PUNCT
iajs-2377	6	21	(	(	PUNCT
iajs-2377	6	22	)	)	PUNCT
iajs-2377	6	23	where	where	SCONJ
iajs-2377	6	24	,	,	PUNCT
iajs-2377	6	25	a	a	DET
iajs-2377	6	26	set	set	NOUN
iajs-2377	6	27	of	of	ADP
iajs-2377	6	28	natural	natural	ADJ
iajs-2377	6	29	numbers	number	NOUN
iajs-2377	6	30	which	which	PRON
iajs-2377	6	31	are	be	AUX
iajs-2377	6	32	p	p	NOUN
iajs-2377	6	33	-	-	PUNCT
iajs-2377	6	34	valent	valent	NOUN
iajs-2377	6	35	in	in	ADP
iajs-2377	6	36	for	for	ADP
iajs-2377	6	37	definition	definition	NOUN
iajs-2377	6	38	1	1	NUM
iajs-2377	6	39	[	[	X
iajs-2377	6	40	1	1	NUM
iajs-2377	6	41	]	]	X
iajs-2377	6	42	:	:	PUNCT
iajs-2377	6	43	a	a	DET
iajs-2377	6	44	function	function	NOUN
iajs-2377	6	45	(	(	PUNCT
iajs-2377	6	46	)	)	PUNCT
iajs-2377	6	47	(	(	PUNCT
iajs-2377	6	48	)	)	PUNCT
iajs-2377	6	49	is	be	AUX
iajs-2377	6	50	in	in	ADP
iajs-2377	6	51	the	the	DET
iajs-2377	6	52	subclass	subclass	NOUN
iajs-2377	6	53	(	(	PUNCT
iajs-2377	6	54	)	)	PUNCT
iajs-2377	6	55	of	of	ADP
iajs-2377	6	56	starlike	starlike	NOUN
iajs-2377	6	57	function	function	NOUN
iajs-2377	6	58	if	if	SCONJ
iajs-2377	6	59	.	.	PUNCT
iajs-2377	7	1	(	(	PUNCT
iajs-2377	7	2	)	)	PUNCT
iajs-2377	7	3	(	(	PUNCT
iajs-2377	7	4	)	)	PUNCT
iajs-2377	7	5	/	/	SYM
iajs-2377	7	6	,	,	PUNCT
iajs-2377	7	7	definition	definition	NOUN
iajs-2377	7	8	2	2	NUM
iajs-2377	8	1	[	[	X
iajs-2377	8	2	2	2	NUM
iajs-2377	8	3	]	]	PUNCT
iajs-2377	8	4	:	:	PUNCT
iajs-2377	8	5	a	a	DET
iajs-2377	8	6	function	function	NOUN
iajs-2377	8	7	(	(	PUNCT
iajs-2377	8	8	)	)	PUNCT
iajs-2377	8	9	(	(	PUNCT
iajs-2377	8	10	)	)	PUNCT
iajs-2377	8	11	is	be	AUX
iajs-2377	8	12	in	in	ADP
iajs-2377	8	13	the	the	DET
iajs-2377	8	14	subclass	subclass	NOUN
iajs-2377	8	15	(	(	PUNCT
iajs-2377	8	16	)	)	PUNCT
iajs-2377	8	17	of	of	ADP
iajs-2377	8	18	convex	convex	ADJ
iajs-2377	8	19	function	function	NOUN
iajs-2377	8	20	if	if	SCONJ
iajs-2377	8	21	.	.	PUNCT
iajs-2377	9	1	(	(	PUNCT
iajs-2377	9	2	)	)	PUNCT
iajs-2377	9	3	(	(	PUNCT
iajs-2377	9	4	)	)	PUNCT
iajs-2377	9	5	/	/	SYM
iajs-2377	9	6	,	,	PUNCT
iajs-2377	9	7	definition	definition	NOUN
iajs-2377	9	8	3	3	NUM
iajs-2377	9	9	[	[	X
iajs-2377	9	10	3	3	NUM
iajs-2377	9	11	]	]	X
iajs-2377	9	12	:	:	PUNCT
iajs-2377	9	13	a	a	DET
iajs-2377	9	14	function	function	NOUN
iajs-2377	9	15	(	(	PUNCT
iajs-2377	9	16	)	)	PUNCT
iajs-2377	9	17	(	(	PUNCT
iajs-2377	9	18	)	)	PUNCT
iajs-2377	9	19	is	be	AUX
iajs-2377	9	20	in	in	ADP
iajs-2377	9	21	the	the	DET
iajs-2377	9	22	subclass	subclass	NOUN
iajs-2377	9	23	(	(	PUNCT
iajs-2377	9	24	)	)	PUNCT
iajs-2377	9	25	if	if	SCONJ
iajs-2377	9	26	it	it	PRON
iajs-2377	9	27	satisfy	satisfy	VERB
iajs-2377	9	28	{	{	PUNCT
iajs-2377	9	29	(	(	PUNCT
iajs-2377	9	30	)	)	PUNCT
iajs-2377	9	31	(	(	PUNCT
iajs-2377	9	32	)	)	PUNCT
iajs-2377	9	33	(	(	PUNCT
iajs-2377	9	34	)	)	PUNCT
iajs-2377	9	35	(	(	PUNCT
iajs-2377	9	36	)	)	PUNCT
iajs-2377	9	37	}	}	PUNCT
iajs-2377	9	38	(	(	PUNCT
iajs-2377	9	39	2	2	X
iajs-2377	9	40	)	)	PUNCT
iajs-2377	9	41	ibn	ibn	PROPN
iajs-2377	9	42	al	al	PROPN
iajs-2377	9	43	haitham	haitham	PROPN
iajs-2377	9	44	journal	journal	PROPN
iajs-2377	9	45	for	for	ADP
iajs-2377	9	46	pure	pure	ADJ
iajs-2377	9	47	and	and	CCONJ
iajs-2377	9	48	applied	apply	VERB
iajs-2377	9	49	science	science	NOUN
iajs-2377	9	50	journal	journal	PROPN
iajs-2377	9	51	homepage	homepage	NOUN
iajs-2377	9	52	:	:	PUNCT
iajs-2377	9	53	http://jih.uobaghdad.edu.iq/index.php/j/index	http://jih.uobaghdad.edu.iq/index.php/j/index	NOUN
iajs-2377	9	54	doi	doi	NOUN
iajs-2377	9	55	:	:	PUNCT
iajs-2377	9	56	10.30526/33.1.2377	10.30526/33.1.2377	NUM
iajs-2377	9	57	department	department	NOUN
iajs-2377	9	58	of	of	ADP
iajs-2377	9	59	mathematics	mathematics	PROPN
iajs-2377	9	60	,	,	PUNCT
iajs-2377	9	61	college	college	NOUN
iajs-2377	9	62	of	of	ADP
iajs-2377	9	63	education	education	NOUN
iajs-2377	9	64	for	for	ADP
iajs-2377	9	65	pure	pure	ADJ
iajs-2377	9	66	science	science	NOUN
iajs-2377	9	67	,	,	PUNCT
iajs-2377	9	68	ibnal	ibnal	ADJ
iajs-2377	9	69	haitham/	haitham/	NUM
iajs-2377	9	70	university	university	NOUN
iajs-2377	9	71	of	of	ADP
iajs-2377	9	72	baghdad	baghdad	PROPN
iajs-2377	9	73	iraq	iraq	PROPN
iajs-2377	9	74	department	department	PROPN
iajs-2377	9	75	of	of	ADP
iajs-2377	9	76	mathematics	mathematics	PROPN
iajs-2377	9	77	,	,	PUNCT
iajs-2377	9	78	college	college	NOUN
iajs-2377	9	79	of	of	ADP
iajs-2377	9	80	science	science	NOUN
iajs-2377	9	81	,	,	PUNCT
iajs-2377	9	82	university	university	NOUN
iajs-2377	9	83	of	of	ADP
iajs-2377	9	84	baghdad	baghdad	PROPN
iajs-2377	9	85	,	,	PUNCT
iajs-2377	9	86	baghdad	baghdad	PROPN
iajs-2377	9	87	,	,	PUNCT
iajs-2377	9	88	iraq	iraq	PROPN
iajs-2377	9	89	department	department	PROPN
iajs-2377	9	90	of	of	ADP
iajs-2377	9	91	physical	physical	PROPN
iajs-2377	9	92	,	,	PUNCT
iajs-2377	9	93	college	college	NOUN
iajs-2377	9	94	of	of	ADP
iajs-2377	9	95	science	science	NOUN
iajs-2377	9	96	,	,	PUNCT
iajs-2377	9	97	university	university	NOUN
iajs-2377	9	98	of	of	ADP
iajs-2377	9	99	baghdad	baghdad	PROPN
iajs-2377	9	100	,	,	PUNCT
iajs-2377	9	101	baghdad	baghdad	PROPN
iajs-2377	9	102	,	,	PUNCT
iajs-2377	10	1	iraq	iraq	PROPN
iajs-2377	10	2	zainab_hd@yahoo.com	zainab_hd@yahoo.com	PROPN
iajs-2377	10	3	kasimmmathphd@gmail.com	kasimmmathphd@gmail.com	PROPN
iajs-2377	11	1	dr.buthyan@yahoo.com	dr.buthyan@yahoo.com	PROPN
iajs-2377	11	2	certain	certain	ADJ
iajs-2377	11	3	family	family	NOUN
iajs-2377	11	4	of	of	ADP
iajs-2377	11	5	multivalent	multivalent	NOUN
iajs-2377	11	6	functions	function	NOUN
iajs-2377	11	7	associated	associate	VERB
iajs-2377	11	8	with	with	ADP
iajs-2377	11	9	subordination	subordination	NOUN
iajs-2377	11	10	article	article	NOUN
iajs-2377	11	11	history	history	NOUN
iajs-2377	11	12	:	:	PUNCT
iajs-2377	11	13	received	receive	VERB
iajs-2377	11	14	18	18	NUM
iajs-2377	11	15	april	april	PROPN
iajs-2377	11	16	2019	2019	NUM
iajs-2377	11	17	,	,	PUNCT
iajs-2377	11	18	accepted	accept	VERB
iajs-2377	11	19	26	26	NUM
iajs-2377	11	20	may	may	PROPN
iajs-2377	11	21	2019	2019	NUM
iajs-2377	11	22	,	,	PUNCT
iajs-2377	11	23	publish	publish	VERB
iajs-2377	11	24	january	january	PROPN
iajs-2377	11	25	2020	2020	NUM
iajs-2377	11	26	.	.	PUNCT
iajs-2377	12	1	mailto:zainab_hd@yahoo.com	mailto:zainab_hd@yahoo.com	X
iajs-2377	12	2	mailto:zainab_hd@yahoo.com	mailto:zainab_hd@yahoo.com	PROPN
iajs-2377	12	3	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/kasimmmathphd@gmail.com	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/kasimmmathphd@gmail.com	PROPN
iajs-2377	12	4	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/kasimmmathphd@gmail.com	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/kasimmmathphd@gmail.com	PROPN
iajs-2377	12	5	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/dr.buthyan@yahoo.com	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/dr.buthyan@yahoo.com	X
iajs-2377	12	6	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/dr.buthyan@yahoo.com	file:///c:/users/المجلة/desktop/عدد%20خاص/new%20folder/العدد%20كامل%20ومعدل/dr.buthyan@yahoo.com	X
iajs-2377	12	7	86	86	NUM
iajs-2377	12	8	ibn	ibn	PROPN
iajs-2377	12	9	al	al	PROPN
iajs-2377	12	10	-	-	PUNCT
iajs-2377	12	11	haitham	haitham	PROPN
iajs-2377	12	12	jour	jour	X
iajs-2377	12	13	.	.	PROPN
iajs-2377	13	1	for	for	ADP
iajs-2377	13	2	pure	pure	ADJ
iajs-2377	13	3	&	&	CCONJ
iajs-2377	13	4	appl	appl	PROPN
iajs-2377	13	5	.	.	PUNCT
iajs-2377	14	1	sci	sci	PROPN
iajs-2377	14	2	.	.	PROPN
iajs-2377	15	1	33	33	NUM
iajs-2377	15	2	(	(	PUNCT
iajs-2377	15	3	1	1	NUM
iajs-2377	15	4	)	)	PUNCT
iajs-2377	15	5	2020	2020	NUM
iajs-2377	16	1	for	for	ADP
iajs-2377	16	2	(	(	PUNCT
iajs-2377	16	3	)	)	PUNCT
iajs-2377	16	4	furthermore	furthermore	ADV
iajs-2377	16	5	a	a	DET
iajs-2377	16	6	function	function	NOUN
iajs-2377	16	7	(	(	PUNCT
iajs-2377	16	8	)	)	PUNCT
iajs-2377	16	9	(	(	PUNCT
iajs-2377	16	10	)	)	PUNCT
iajs-2377	16	11	is	be	AUX
iajs-2377	16	12	in	in	ADP
iajs-2377	16	13	the	the	DET
iajs-2377	16	14	class	class	NOUN
iajs-2377	16	15	(	(	PUNCT
iajs-2377	16	16	)	)	PUNCT
iajs-2377	16	17	if	if	SCONJ
iajs-2377	16	18	(	(	PUNCT
iajs-2377	16	19	)	)	PUNCT
iajs-2377	16	20	(	(	PUNCT
iajs-2377	16	21	)	)	PUNCT
iajs-2377	16	22	theorem	theorem	VERB
iajs-2377	16	23	1	1	NUM
iajs-2377	16	24	:	:	PUNCT
iajs-2377	16	25	a	a	DET
iajs-2377	16	26	function	function	NOUN
iajs-2377	16	27	given	give	VERB
iajs-2377	16	28	by	by	ADP
iajs-2377	16	29	(	(	PUNCT
iajs-2377	16	30	4.1	4.1	NUM
iajs-2377	16	31	)	)	PUNCT
iajs-2377	16	32	is	be	AUX
iajs-2377	16	33	in	in	ADP
iajs-2377	16	34	(	(	PUNCT
iajs-2377	16	35	)	)	PUNCT
iajs-2377	16	36	.s.s	.s.s	PROPN
iajs-2377	16	37	.	.	PUNCT
iajs-2377	17	1	miller	miller	PROPN
iajs-2377	17	2	,	,	PUNCT
iajs-2377	17	3	p.t	p.t	PROPN
iajs-2377	17	4	.	.	PROPN
iajs-2377	17	5	mocanu	mocanu	PROPN
iajs-2377	18	1	[	[	X
iajs-2377	18	2	1	1	NUM
iajs-2377	18	3	]	]	PUNCT
iajs-2377	18	4	.	.	PUNCT
iajs-2377	19	1	if	if	SCONJ
iajs-2377	19	2	and	and	CCONJ
iajs-2377	19	3	only	only	ADV
iajs-2377	19	4	if	if	SCONJ
iajs-2377	19	5	∑	∑	PROPN
iajs-2377	19	6	(	(	PUNCT
iajs-2377	19	7	)	)	PUNCT
iajs-2377	19	8	proof	proof	NOUN
iajs-2377	19	9	:	:	PUNCT
iajs-2377	19	10	let	let	VERB
iajs-2377	19	11	(	(	PUNCT
iajs-2377	19	12	)	)	PUNCT
iajs-2377	19	13	(	(	PUNCT
iajs-2377	19	14	)	)	PUNCT
iajs-2377	19	15	therefore	therefore	ADV
iajs-2377	19	16	from	from	ADP
iajs-2377	19	17	(	(	PUNCT
iajs-2377	19	18	2	2	X
iajs-2377	19	19	)	)	PUNCT
iajs-2377	19	20	we	we	PRON
iajs-2377	19	21	have	have	VERB
iajs-2377	19	22	(	(	PUNCT
iajs-2377	19	23	)	)	PUNCT
iajs-2377	19	24	{	{	PUNCT
iajs-2377	19	25	(	(	PUNCT
iajs-2377	19	26	)	)	PUNCT
iajs-2377	19	27	(	(	PUNCT
iajs-2377	19	28	)	)	PUNCT
iajs-2377	19	29	(	(	PUNCT
iajs-2377	19	30	)	)	PUNCT
iajs-2377	19	31	(	(	PUNCT
iajs-2377	19	32	)	)	PUNCT
iajs-2377	19	33	(	(	PUNCT
iajs-2377	19	34	)	)	PUNCT
iajs-2377	19	35	(	(	PUNCT
iajs-2377	19	36	)	)	PUNCT
iajs-2377	19	37	}	}	PUNCT
iajs-2377	19	38	(	(	PUNCT
iajs-2377	19	39	)	)	PUNCT
iajs-2377	19	40	(	(	PUNCT
iajs-2377	19	41	)	)	PUNCT
iajs-2377	19	42	(	(	PUNCT
iajs-2377	19	43	)	)	PUNCT
iajs-2377	19	44	where	where	SCONJ
iajs-2377	19	45	k(w	k(w	PROPN
iajs-2377	19	46	)	)	PUNCT
iajs-2377	19	47	is	be	AUX
iajs-2377	19	48	schwarz	schwarz	PROPN
iajs-2377	19	49	function	function	NOUN
iajs-2377	19	50	(	(	PUNCT
iajs-2377	19	51	w)=	w)=	PROPN
iajs-2377	19	52	(	(	PUNCT
iajs-2377	19	53	(	(	PUNCT
iajs-2377	19	54	)	)	PUNCT
iajs-2377	19	55	)	)	PUNCT
iajs-2377	19	56	(	(	PUNCT
iajs-2377	19	57	)	)	PUNCT
iajs-2377	19	58	(	(	PUNCT
iajs-2377	19	59	)	)	PUNCT
iajs-2377	19	60	(	(	PUNCT
iajs-2377	19	61	(	(	PUNCT
iajs-2377	19	62	)	)	PUNCT
iajs-2377	19	63	)	)	PUNCT
iajs-2377	20	1	(	(	PUNCT
iajs-2377	20	2	)	)	PUNCT
iajs-2377	20	3	(	(	PUNCT
iajs-2377	20	4	)	)	PUNCT
iajs-2377	20	5	(	(	PUNCT
iajs-2377	20	6	)	)	PUNCT
iajs-2377	20	7	(	(	PUNCT
iajs-2377	20	8	)	)	PUNCT
iajs-2377	20	9	|	|	ADV
iajs-2377	20	10	(	(	PUNCT
iajs-2377	20	11	)	)	PUNCT
iajs-2377	20	12	|	|	ADV
iajs-2377	21	1	|	|	ADV
iajs-2377	21	2	|	|	ADV
iajs-2377	21	3	|	|	ADV
iajs-2377	21	4	[	[	PUNCT
iajs-2377	21	5	{	{	PUNCT
iajs-2377	21	6	(	(	PUNCT
iajs-2377	21	7	)	)	PUNCT
iajs-2377	21	8	(	(	PUNCT
iajs-2377	21	9	)	)	PUNCT
iajs-2377	21	10	(	(	PUNCT
iajs-2377	21	11	)	)	PUNCT
iajs-2377	21	12	}	}	PUNCT
iajs-2377	21	13	(	(	PUNCT
iajs-2377	21	14	)	)	PUNCT
iajs-2377	21	15	(	(	PUNCT
iajs-2377	21	16	)	)	PUNCT
iajs-2377	21	17	]	]	PUNCT
iajs-2377	21	18	{	{	PUNCT
iajs-2377	21	19	[	[	PUNCT
iajs-2377	21	20	{	{	PUNCT
iajs-2377	21	21	(	(	PUNCT
iajs-2377	21	22	)	)	PUNCT
iajs-2377	21	23	(	(	PUNCT
iajs-2377	21	24	)	)	PUNCT
iajs-2377	21	25	(	(	PUNCT
iajs-2377	21	26	)	)	PUNCT
iajs-2377	21	27	}	}	PUNCT
iajs-2377	21	28	(	(	PUNCT
iajs-2377	21	29	)	)	PUNCT
iajs-2377	21	30	(	(	PUNCT
iajs-2377	21	31	)	)	PUNCT
iajs-2377	21	32	(	(	PUNCT
iajs-2377	21	33	)	)	PUNCT
iajs-2377	22	1	]	]	PUNCT
iajs-2377	22	2	}	}	PUNCT
iajs-2377	22	3	|	|	ADV
iajs-2377	22	4	|	|	ADV
iajs-2377	22	5	|	|	ADV
iajs-2377	22	6	|	|	ADV
iajs-2377	22	7	(	(	PUNCT
iajs-2377	22	8	)	)	PUNCT
iajs-2377	22	9	(	(	PUNCT
iajs-2377	22	10	)	)	PUNCT
iajs-2377	22	11	(	(	PUNCT
iajs-2377	22	12	)	)	PUNCT
iajs-2377	22	13	(	(	PUNCT
iajs-2377	22	14	)	)	PUNCT
iajs-2377	22	15	*	*	PUNCT
iajs-2377	22	16	(	(	PUNCT
iajs-2377	22	17	)	)	PUNCT
iajs-2377	22	18	(	(	PUNCT
iajs-2377	22	19	)	)	PUNCT
iajs-2377	22	20	(	(	PUNCT
iajs-2377	22	21	)	)	PUNCT
iajs-2377	22	22	+	+	NUM
iajs-2377	22	23	*	*	PUNCT
iajs-2377	22	24	(	(	PUNCT
iajs-2377	22	25	)	)	PUNCT
iajs-2377	22	26	(	(	PUNCT
iajs-2377	22	27	)	)	PUNCT
iajs-2377	22	28	(	(	PUNCT
iajs-2377	22	29	)	)	PUNCT
iajs-2377	22	30	+	+	CCONJ
iajs-2377	22	31	|	|	ADV
iajs-2377	22	32	(	(	PUNCT
iajs-2377	22	33	3	3	NUM
iajs-2377	22	34	)	)	PUNCT
iajs-2377	22	35	(	(	PUNCT
iajs-2377	22	36	)	)	PUNCT
iajs-2377	22	37	(	(	PUNCT
iajs-2377	22	38	)	)	PUNCT
iajs-2377	22	39	(	(	PUNCT
iajs-2377	22	40	)	)	PUNCT
iajs-2377	22	41	∑	∑	PROPN
iajs-2377	22	42	(	(	PUNCT
iajs-2377	22	43	)	)	PUNCT
iajs-2377	22	44	(	(	PUNCT
iajs-2377	22	45	)	)	PUNCT
iajs-2377	22	46	(	(	PUNCT
iajs-2377	22	47	)	)	PUNCT
iajs-2377	22	48	(	(	PUNCT
iajs-2377	22	49	)	)	PUNCT
iajs-2377	22	50	(	(	PUNCT
iajs-2377	22	51	)	)	PUNCT
iajs-2377	22	52	∑	∑	PROPN
iajs-2377	22	53	(	(	PUNCT
iajs-2377	22	54	)	)	PUNCT
iajs-2377	22	55	from	from	ADP
iajs-2377	22	56	(	(	PUNCT
iajs-2377	22	57	1	1	X
iajs-2377	22	58	)	)	PUNCT
iajs-2377	22	59	we	we	PRON
iajs-2377	22	60	have	have	VERB
iajs-2377	22	61	||	||	NUM
iajs-2377	22	62	∑	∑	PUNCT
iajs-2377	22	63	(	(	PUNCT
iajs-2377	22	64	)	)	PUNCT
iajs-2377	22	65	(	(	PUNCT
iajs-2377	22	66	)	)	PUNCT
iajs-2377	22	67	2	2	NUM
iajs-2377	22	68	(	(	PUNCT
iajs-2377	22	69	)	)	PUNCT
iajs-2377	22	70	∑	∑	PROPN
iajs-2377	22	71	(	(	PUNCT
iajs-2377	22	72	)	)	PUNCT
iajs-2377	22	73	3	3	NUM
iajs-2377	22	74	2∑	2∑	NUM
iajs-2377	22	75	(	(	PUNCT
iajs-2377	22	76	)	)	PUNCT
iajs-2377	22	77	3	3	NUM
iajs-2377	22	78	||	||	NOUN
iajs-2377	22	79	87	87	NUM
iajs-2377	22	80	ibn	ibn	PROPN
iajs-2377	22	81	al	al	PROPN
iajs-2377	22	82	-	-	PUNCT
iajs-2377	22	83	haitham	haitham	PROPN
iajs-2377	22	84	jour	jour	X
iajs-2377	22	85	.	.	PROPN
iajs-2377	23	1	for	for	ADP
iajs-2377	23	2	pure	pure	ADJ
iajs-2377	23	3	&	&	CCONJ
iajs-2377	23	4	appl	appl	PROPN
iajs-2377	23	5	.	.	PUNCT
iajs-2377	24	1	sci	sci	PROPN
iajs-2377	24	2	.	.	PROPN
iajs-2377	25	1	33	33	NUM
iajs-2377	25	2	(	(	PUNCT
iajs-2377	25	3	1	1	NUM
iajs-2377	25	4	)	)	PUNCT
iajs-2377	25	5	2020	2020	NUM
iajs-2377	26	1	|	|	ADV
iajs-2377	26	2	∑	∑	PUNCT
iajs-2377	26	3	(	(	PUNCT
iajs-2377	26	4	)	)	PUNCT
iajs-2377	26	5	(	(	PUNCT
iajs-2377	26	6	)	)	PUNCT
iajs-2377	26	7	(	(	PUNCT
iajs-2377	26	8	)	)	PUNCT
iajs-2377	26	9	∑	∑	PUNCT
iajs-2377	26	10	*	*	PUNCT
iajs-2377	26	11	(	(	PUNCT
iajs-2377	26	12	)	)	PUNCT
iajs-2377	26	13	(	(	PUNCT
iajs-2377	26	14	)	)	PUNCT
iajs-2377	26	15	+	+	CCONJ
iajs-2377	26	16	|	|	ADV
iajs-2377	26	17	since	since	SCONJ
iajs-2377	26	18	(	(	PUNCT
iajs-2377	26	19	)	)	PUNCT
iajs-2377	26	20	|	|	ADV
iajs-2377	26	21	|	|	ADV
iajs-2377	26	22	.	.	PUNCT
iajs-2377	27	1	we	we	PRON
iajs-2377	27	2	obtain	obtain	VERB
iajs-2377	27	3	after	after	ADP
iajs-2377	27	4	considering	consider	VERB
iajs-2377	27	5	on	on	ADP
iajs-2377	27	6	real	real	ADJ
iajs-2377	27	7	axis	axis	NOUN
iajs-2377	27	8	and	and	CCONJ
iajs-2377	27	9	letting	let	VERB
iajs-2377	27	10	w→	w→	PRON
iajs-2377	27	11	1	1	NUM
iajs-2377	27	12	we	we	PRON
iajs-2377	27	13	get	get	VERB
iajs-2377	27	14	∑	∑	PUNCT
iajs-2377	27	15	(	(	PUNCT
iajs-2377	27	16	)	)	PUNCT
iajs-2377	28	1	|	|	ADV
iajs-2377	28	2	|	|	ADV
iajs-2377	28	3	(	(	PUNCT
iajs-2377	28	4	)	)	PUNCT
iajs-2377	28	5	(	(	PUNCT
iajs-2377	28	6	)	)	PUNCT
iajs-2377	28	7	∑	∑	PUNCT
iajs-2377	28	8	|	|	ADV
iajs-2377	28	9	(	(	PUNCT
iajs-2377	28	10	)	)	PUNCT
iajs-2377	28	11	(	(	PUNCT
iajs-2377	28	12	)	)	PUNCT
iajs-2377	28	13	|	|	ADV
iajs-2377	28	14	∑	∑	PUNCT
iajs-2377	28	15	(	(	PUNCT
iajs-2377	28	16	)	)	PUNCT
iajs-2377	28	17	|	|	ADV
iajs-2377	28	18	*	*	PUNCT
iajs-2377	28	19	(	(	PUNCT
iajs-2377	28	20	)	)	PUNCT
iajs-2377	28	21	(	(	PUNCT
iajs-2377	28	22	)	)	PUNCT
iajs-2377	28	23	+	+	ADV
iajs-2377	28	24	|	|	ADV
iajs-2377	28	25	|	|	ADV
iajs-2377	28	26	|	|	ADV
iajs-2377	28	27	(	(	PUNCT
iajs-2377	28	28	)	)	PUNCT
iajs-2377	28	29	(	(	PUNCT
iajs-2377	28	30	)	)	PUNCT
iajs-2377	28	31	that	that	PRON
iajs-2377	28	32	is	is	ADV
iajs-2377	28	33	∑	∑	PROPN
iajs-2377	28	34	(	(	PUNCT
iajs-2377	28	35	)	)	PUNCT
iajs-2377	29	1	where	where	SCONJ
iajs-2377	29	2	(	(	PUNCT
iajs-2377	29	3	)	)	PUNCT
iajs-2377	29	4	|	|	ADV
iajs-2377	29	5	|	|	ADV
iajs-2377	29	6	(	(	PUNCT
iajs-2377	29	7	)	)	PUNCT
iajs-2377	29	8	(	(	PUNCT
iajs-2377	29	9	)	)	PUNCT
iajs-2377	29	10	∑	∑	PROPN
iajs-2377	29	11	(	(	PUNCT
iajs-2377	29	12	)	)	PUNCT
iajs-2377	29	13	|	|	ADV
iajs-2377	29	14	*	*	PUNCT
iajs-2377	29	15	(	(	PUNCT
iajs-2377	29	16	)	)	PUNCT
iajs-2377	29	17	(	(	PUNCT
iajs-2377	29	18	)	)	PUNCT
iajs-2377	29	19	+	+	ADJ
iajs-2377	29	20	|	|	ADV
iajs-2377	29	21	corollary	corollary	ADJ
iajs-2377	29	22	1	1	NUM
iajs-2377	29	23	:	:	PUNCT
iajs-2377	29	24	if	if	SCONJ
iajs-2377	29	25	(	(	PUNCT
iajs-2377	29	26	)	)	PUNCT
iajs-2377	29	27	(	(	PUNCT
iajs-2377	29	28	)	)	PUNCT
iajs-2377	29	29	then	then	ADV
iajs-2377	29	30	(	(	PUNCT
iajs-2377	29	31	)	)	PUNCT
iajs-2377	29	32	and	and	CCONJ
iajs-2377	29	33	the	the	DET
iajs-2377	29	34	equality	equality	NOUN
iajs-2377	29	35	holds	hold	VERB
iajs-2377	29	36	for	for	ADP
iajs-2377	29	37	(	(	PUNCT
iajs-2377	29	38	)	)	PUNCT
iajs-2377	29	39	(	(	PUNCT
iajs-2377	29	40	)	)	PUNCT
iajs-2377	29	41	theoremd	theoremd	NOUN
iajs-2377	29	42	2	2	NUM
iajs-2377	29	43	:	:	PUNCT
iajs-2377	29	44	(	(	PUNCT
iajs-2377	29	45	)	)	PUNCT
iajs-2377	29	46	∑	∑	ADV
iajs-2377	29	47	is	be	AUX
iajs-2377	29	48	in	in	ADP
iajs-2377	29	49	(	(	PUNCT
iajs-2377	29	50	)	)	PUNCT
iajs-2377	30	1	if	if	SCONJ
iajs-2377	30	2	and	and	CCONJ
iajs-2377	30	3	only	only	ADV
iajs-2377	30	4	if	if	SCONJ
iajs-2377	30	5	∑	∑	PROPN
iajs-2377	30	6	(	(	PUNCT
iajs-2377	30	7	)	)	PUNCT
iajs-2377	30	8	proof	proof	NOUN
iajs-2377	30	9	:	:	PUNCT
iajs-2377	30	10	suppose	suppose	VERB
iajs-2377	30	11	(	(	PUNCT
iajs-2377	30	12	)	)	PUNCT
iajs-2377	30	13	(	(	PUNCT
iajs-2377	30	14	)	)	PUNCT
iajs-2377	30	15	if	if	SCONJ
iajs-2377	30	16	(	(	PUNCT
iajs-2377	30	17	)	)	PUNCT
iajs-2377	30	18	(	(	PUNCT
iajs-2377	30	19	)	)	PUNCT
iajs-2377	30	20	let	let	VERB
iajs-2377	30	21	(	(	PUNCT
iajs-2377	30	22	)	)	PUNCT
iajs-2377	30	23	(	(	PUNCT
iajs-2377	30	24	)	)	PUNCT
iajs-2377	30	25	therefore	therefore	ADV
iajs-2377	30	26	from	from	SCONJ
iajs-2377	30	27	(	(	PUNCT
iajs-2377	30	28	1	1	X
iajs-2377	30	29	)	)	PUNCT
iajs-2377	30	30	we	we	PRON
iajs-2377	30	31	have	have	AUX
iajs-2377	30	32	(	(	PUNCT
iajs-2377	30	33	)	)	PUNCT
iajs-2377	30	34	{	{	PUNCT
iajs-2377	30	35	(	(	PUNCT
iajs-2377	30	36	)	)	PUNCT
iajs-2377	30	37	(	(	PUNCT
iajs-2377	30	38	)	)	PUNCT
iajs-2377	30	39	(	(	PUNCT
iajs-2377	30	40	)	)	PUNCT
iajs-2377	30	41	(	(	PUNCT
iajs-2377	30	42	)	)	PUNCT
iajs-2377	30	43	(	(	PUNCT
iajs-2377	30	44	)	)	PUNCT
iajs-2377	30	45	(	(	PUNCT
iajs-2377	30	46	)	)	PUNCT
iajs-2377	30	47	}	}	PUNCT
iajs-2377	30	48	this	this	PRON
iajs-2377	30	49	is	be	AUX
iajs-2377	30	50	equivalent	equivalent	ADJ
iajs-2377	30	51	to	to	ADP
iajs-2377	30	52	(	(	PUNCT
iajs-2377	30	53	since	since	SCONJ
iajs-2377	30	54	|	|	ADV
iajs-2377	30	55	(	(	PUNCT
iajs-2377	30	56	)	)	PUNCT
iajs-2377	30	57	|	|	ADV
iajs-2377	30	58	)	)	PUNCT
iajs-2377	31	1	|	|	ADV
iajs-2377	31	2	|	|	ADV
iajs-2377	31	3	|	|	ADV
iajs-2377	31	4	[	[	PUNCT
iajs-2377	31	5	{	{	PUNCT
iajs-2377	31	6	(	(	PUNCT
iajs-2377	31	7	)	)	PUNCT
iajs-2377	31	8	(	(	PUNCT
iajs-2377	31	9	)	)	PUNCT
iajs-2377	31	10	(	(	PUNCT
iajs-2377	31	11	)	)	PUNCT
iajs-2377	31	12	}	}	PUNCT
iajs-2377	31	13	(	(	PUNCT
iajs-2377	31	14	)	)	PUNCT
iajs-2377	31	15	(	(	PUNCT
iajs-2377	31	16	)	)	PUNCT
iajs-2377	31	17	]	]	PUNCT
iajs-2377	31	18	{	{	PUNCT
iajs-2377	31	19	[	[	PUNCT
iajs-2377	31	20	{	{	PUNCT
iajs-2377	31	21	(	(	PUNCT
iajs-2377	31	22	)	)	PUNCT
iajs-2377	31	23	(	(	PUNCT
iajs-2377	31	24	)	)	PUNCT
iajs-2377	31	25	(	(	PUNCT
iajs-2377	31	26	)	)	PUNCT
iajs-2377	31	27	}	}	PUNCT
iajs-2377	31	28	(	(	PUNCT
iajs-2377	31	29	)	)	PUNCT
iajs-2377	31	30	(	(	PUNCT
iajs-2377	31	31	)	)	PUNCT
iajs-2377	31	32	(	(	PUNCT
iajs-2377	31	33	)	)	PUNCT
iajs-2377	31	34	]	]	PUNCT
iajs-2377	31	35	}	}	PUNCT
iajs-2377	31	36	|	|	ADV
iajs-2377	32	1	|	|	ADV
iajs-2377	32	2	|	|	ADV
iajs-2377	32	3	|	|	ADV
iajs-2377	32	4	(	(	PUNCT
iajs-2377	32	5	)	)	PUNCT
iajs-2377	32	6	(	(	PUNCT
iajs-2377	32	7	)	)	PUNCT
iajs-2377	32	8	(	(	PUNCT
iajs-2377	32	9	)	)	PUNCT
iajs-2377	32	10	(	(	PUNCT
iajs-2377	32	11	)	)	PUNCT
iajs-2377	32	12	*	*	PUNCT
iajs-2377	32	13	(	(	PUNCT
iajs-2377	32	14	)	)	PUNCT
iajs-2377	32	15	(	(	PUNCT
iajs-2377	32	16	)	)	PUNCT
iajs-2377	32	17	(	(	PUNCT
iajs-2377	32	18	)	)	PUNCT
iajs-2377	33	1	+	+	NUM
iajs-2377	33	2	*	*	PUNCT
iajs-2377	33	3	(	(	PUNCT
iajs-2377	33	4	)	)	PUNCT
iajs-2377	33	5	(	(	PUNCT
iajs-2377	33	6	)	)	PUNCT
iajs-2377	33	7	(	(	PUNCT
iajs-2377	33	8	)	)	PUNCT
iajs-2377	33	9	+	+	CCONJ
iajs-2377	33	10	|	|	ADV
iajs-2377	33	11	(	(	PUNCT
iajs-2377	33	12	)	)	PUNCT
iajs-2377	33	13	(	(	PUNCT
iajs-2377	33	14	)	)	PUNCT
iajs-2377	33	15	(	(	PUNCT
iajs-2377	33	16	)	)	PUNCT
iajs-2377	33	17	∑	∑	PROPN
iajs-2377	33	18	(	(	PUNCT
iajs-2377	33	19	)	)	PUNCT
iajs-2377	33	20	(	(	PUNCT
iajs-2377	33	21	)	)	PUNCT
iajs-2377	33	22	(	(	PUNCT
iajs-2377	33	23	)	)	PUNCT
iajs-2377	33	24	(	(	PUNCT
iajs-2377	33	25	)	)	PUNCT
iajs-2377	33	26	(	(	PUNCT
iajs-2377	33	27	)	)	PUNCT
iajs-2377	33	28	∑	∑	PROPN
iajs-2377	33	29	(	(	PUNCT
iajs-2377	33	30	)	)	PUNCT
iajs-2377	33	31	88	88	NUM
iajs-2377	33	32	ibn	ibn	PROPN
iajs-2377	33	33	al	al	PROPN
iajs-2377	33	34	-	-	PUNCT
iajs-2377	33	35	haitham	haitham	PROPN
iajs-2377	33	36	jour	jour	X
iajs-2377	33	37	.	.	PROPN
iajs-2377	34	1	for	for	ADP
iajs-2377	34	2	pure	pure	ADJ
iajs-2377	34	3	&	&	CCONJ
iajs-2377	34	4	appl	appl	PROPN
iajs-2377	34	5	.	.	PUNCT
iajs-2377	35	1	sci	sci	PROPN
iajs-2377	35	2	.	.	PROPN
iajs-2377	36	1	33	33	NUM
iajs-2377	36	2	(	(	PUNCT
iajs-2377	36	3	1	1	NUM
iajs-2377	36	4	)	)	PUNCT
iajs-2377	36	5	2020	2020	NUM
iajs-2377	37	1	from	from	ADP
iajs-2377	37	2	(	(	PUNCT
iajs-2377	37	3	2	2	X
iajs-2377	37	4	)	)	PUNCT
iajs-2377	37	5	we	we	PRON
iajs-2377	37	6	have	have	AUX
iajs-2377	37	7	|	|	ADV
iajs-2377	37	8	|	|	ADV
iajs-2377	37	9	∑	∑	INTJ
iajs-2377	37	10	(	(	PUNCT
iajs-2377	37	11	)	)	PUNCT
iajs-2377	37	12	(	(	PUNCT
iajs-2377	37	13	)	)	PUNCT
iajs-2377	37	14	{	{	PUNCT
iajs-2377	37	15	(	(	PUNCT
iajs-2377	37	16	)	)	PUNCT
iajs-2377	37	17	∑	∑	PROPN
iajs-2377	37	18	(	(	PUNCT
iajs-2377	37	19	)	)	PUNCT
iajs-2377	37	20	}	}	PUNCT
iajs-2377	37	21	{	{	PUNCT
iajs-2377	37	22	∑	∑	PUNCT
iajs-2377	37	23	(	(	PUNCT
iajs-2377	37	24	)	)	PUNCT
iajs-2377	37	25	}	}	PUNCT
iajs-2377	37	26	|	|	ADV
iajs-2377	37	27	|	|	ADV
iajs-2377	37	28	=|	=|	NOUN
iajs-2377	37	29	∑	∑	PUNCT
iajs-2377	37	30	(	(	PUNCT
iajs-2377	37	31	)	)	PUNCT
iajs-2377	37	32	(	(	PUNCT
iajs-2377	37	33	(	(	PUNCT
iajs-2377	37	34	)	)	PUNCT
iajs-2377	37	35	(	(	PUNCT
iajs-2377	37	36	)	)	PUNCT
iajs-2377	37	37	)	)	PUNCT
iajs-2377	37	38	∑	∑	PUNCT
iajs-2377	37	39	(	(	PUNCT
iajs-2377	37	40	(	(	PUNCT
iajs-2377	37	41	)	)	PUNCT
iajs-2377	37	42	(	(	PUNCT
iajs-2377	37	43	)	)	PUNCT
iajs-2377	37	44	)	)	PUNCT
iajs-2377	38	1	|	|	ADV
iajs-2377	38	2	since	since	SCONJ
iajs-2377	38	3	(	(	PUNCT
iajs-2377	38	4	)	)	PUNCT
iajs-2377	38	5	|	|	ADV
iajs-2377	38	6	|	|	ADV
iajs-2377	38	7	.	.	PUNCT
iajs-2377	39	1	we	we	PRON
iajs-2377	39	2	obtain	obtain	VERB
iajs-2377	39	3	after	after	ADP
iajs-2377	39	4	considering	consider	VERB
iajs-2377	39	5	on	on	ADP
iajs-2377	39	6	real	real	ADJ
iajs-2377	39	7	axis	axis	NOUN
iajs-2377	39	8	and	and	CCONJ
iajs-2377	39	9	letting	let	VERB
iajs-2377	39	10	w→	w→	PRON
iajs-2377	39	11	1	1	NUM
iajs-2377	39	12	we	we	PRON
iajs-2377	39	13	get	get	VERB
iajs-2377	39	14	∑	∑	PUNCT
iajs-2377	39	15	(	(	PUNCT
iajs-2377	39	16	)	)	PUNCT
iajs-2377	39	17	|	|	ADV
iajs-2377	39	18	|	|	ADV
iajs-2377	39	19	(	(	PUNCT
iajs-2377	39	20	)	)	PUNCT
iajs-2377	39	21	(	(	PUNCT
iajs-2377	39	22	)	)	PUNCT
iajs-2377	39	23	∑	∑	PUNCT
iajs-2377	39	24	(	(	PUNCT
iajs-2377	39	25	(	(	PUNCT
iajs-2377	39	26	)	)	PUNCT
iajs-2377	39	27	(	(	PUNCT
iajs-2377	39	28	)	)	PUNCT
iajs-2377	39	29	)	)	PUNCT
iajs-2377	39	30	∑	∑	PUNCT
iajs-2377	39	31	{	{	PUNCT
iajs-2377	39	32	(	(	PUNCT
iajs-2377	39	33	)	)	PUNCT
iajs-2377	39	34	|	|	INTJ
iajs-2377	39	35	(	(	PUNCT
iajs-2377	39	36	(	(	PUNCT
iajs-2377	39	37	)	)	PUNCT
iajs-2377	39	38	(	(	PUNCT
iajs-2377	39	39	)	)	PUNCT
iajs-2377	39	40	)	)	PUNCT
iajs-2377	40	1	|	|	ADV
iajs-2377	40	2	}	}	PUNCT
iajs-2377	40	3	|	|	ADV
iajs-2377	40	4	|	|	ADV
iajs-2377	40	5	(	(	PUNCT
iajs-2377	40	6	)	)	PUNCT
iajs-2377	40	7	(	(	PUNCT
iajs-2377	40	8	)	)	PUNCT
iajs-2377	40	9	∑	∑	PROPN
iajs-2377	40	10	(	(	PUNCT
iajs-2377	40	11	)	)	PUNCT
iajs-2377	40	12	corollary	corollary	ADJ
iajs-2377	40	13	2	2	NUM
iajs-2377	40	14	:	:	PUNCT
iajs-2377	40	15	if	if	SCONJ
iajs-2377	40	16	(	(	PUNCT
iajs-2377	40	17	)	)	PUNCT
iajs-2377	40	18	(	(	PUNCT
iajs-2377	40	19	)	)	PUNCT
iajs-2377	40	20	then	then	ADV
iajs-2377	40	21	(	(	PUNCT
iajs-2377	40	22	)	)	PUNCT
iajs-2377	40	23	and	and	CCONJ
iajs-2377	40	24	the	the	DET
iajs-2377	40	25	equality	equality	NOUN
iajs-2377	40	26	holds	hold	VERB
iajs-2377	40	27	for	for	ADP
iajs-2377	40	28	(	(	PUNCT
iajs-2377	40	29	)	)	PUNCT
iajs-2377	40	30	∑	∑	PROPN
iajs-2377	40	31	(	(	PUNCT
iajs-2377	40	32	)	)	PUNCT
iajs-2377	40	33	theorem	theorem	VERB
iajs-2377	40	34	3	3	NUM
iajs-2377	40	35	:	:	PUNCT
iajs-2377	40	36	(	(	PUNCT
iajs-2377	40	37	)	)	PUNCT
iajs-2377	40	38	(	(	PUNCT
iajs-2377	40	39	)	)	PUNCT
iajs-2377	40	40	then	then	ADV
iajs-2377	40	41	|	|	ADV
iajs-2377	41	1	|	|	ADV
iajs-2377	42	1	|	|	ADV
iajs-2377	42	2	|	|	ADV
iajs-2377	42	3	(	(	PUNCT
iajs-2377	42	4	)	)	PUNCT
iajs-2377	43	1	|	|	ADV
iajs-2377	43	2	(	(	PUNCT
iajs-2377	43	3	)	)	PUNCT
iajs-2377	43	4	|	|	ADV
iajs-2377	44	1	|	|	ADV
iajs-2377	44	2	|	|	INTJ
iajs-2377	45	1	|	|	ADV
iajs-2377	45	2	|	|	ADV
iajs-2377	45	3	(	(	PUNCT
iajs-2377	45	4	)	)	PUNCT
iajs-2377	45	5	with	with	ADP
iajs-2377	45	6	equality	equality	NOUN
iajs-2377	45	7	hold	hold	VERB
iajs-2377	45	8	for	for	ADP
iajs-2377	45	9	(	(	PUNCT
iajs-2377	45	10	)	)	PUNCT
iajs-2377	45	11	(	(	PUNCT
iajs-2377	45	12	)	)	PUNCT
iajs-2377	45	13	proof	proof	NOUN
iajs-2377	45	14	:	:	PUNCT
iajs-2377	45	15	(	(	PUNCT
iajs-2377	45	16	)	)	PUNCT
iajs-2377	45	17	(	(	PUNCT
iajs-2377	45	18	)	)	PUNCT
iajs-2377	45	19	therefore	therefore	ADV
iajs-2377	45	20	from	from	ADP
iajs-2377	45	21	theorem	theorem	ADJ
iajs-2377	45	22	2	2	NUM
iajs-2377	45	23	∑	∑	PUNCT
iajs-2377	45	24	(	(	PUNCT
iajs-2377	45	25	)	)	PUNCT
iajs-2377	45	26	|	|	ADV
iajs-2377	45	27	(	(	PUNCT
iajs-2377	45	28	)	)	PUNCT
iajs-2377	45	29	|	|	ADV
iajs-2377	45	30	|	|	ADV
iajs-2377	45	31	|	|	ADV
iajs-2377	45	32	∑	∑	ADV
iajs-2377	46	1	|	|	ADV
iajs-2377	46	2	||	||	ADV
iajs-2377	47	1	|	|	ADV
iajs-2377	48	1	|	|	ADV
iajs-2377	49	1	|	|	INTJ
iajs-2377	49	2	|	|	ADV
iajs-2377	49	3	|	|	ADV
iajs-2377	49	4	∑	∑	INTJ
iajs-2377	50	1	|	|	ADV
iajs-2377	50	2	|	|	ADV
iajs-2377	51	1	|	|	INTJ
iajs-2377	52	1	|	|	INTJ
iajs-2377	52	2	|	|	ADV
iajs-2377	52	3	|	|	ADV
iajs-2377	52	4	(	(	PUNCT
iajs-2377	52	5	)	)	PUNCT
iajs-2377	52	6	similarly	similarly	ADV
iajs-2377	52	7	|	|	ADV
iajs-2377	52	8	(	(	PUNCT
iajs-2377	52	9	)	)	PUNCT
iajs-2377	52	10	|	|	ADV
iajs-2377	52	11	|	|	ADV
iajs-2377	52	12	|	|	ADV
iajs-2377	52	13	∑	∑	ADV
iajs-2377	53	1	|	|	ADV
iajs-2377	53	2	||	||	ADV
iajs-2377	54	1	|	|	ADV
iajs-2377	55	1	|	|	ADV
iajs-2377	56	1	|	|	INTJ
iajs-2377	56	2	|	|	ADV
iajs-2377	56	3	|	|	ADV
iajs-2377	56	4	∑	∑	INTJ
iajs-2377	57	1	|	|	ADV
iajs-2377	57	2	|	|	ADV
iajs-2377	58	1	|	|	INTJ
iajs-2377	59	1	|	|	INTJ
iajs-2377	59	2	|	|	ADV
iajs-2377	59	3	|	|	ADV
iajs-2377	59	4	(	(	PUNCT
iajs-2377	59	5	)	)	PUNCT
iajs-2377	59	6	therefore	therefore	ADV
iajs-2377	60	1	|	|	ADV
iajs-2377	60	2	|	|	ADV
iajs-2377	61	1	|	|	ADV
iajs-2377	61	2	|	|	ADV
iajs-2377	61	3	(	(	PUNCT
iajs-2377	61	4	)	)	PUNCT
iajs-2377	62	1	|	|	ADV
iajs-2377	62	2	(	(	PUNCT
iajs-2377	62	3	)	)	PUNCT
iajs-2377	62	4	|	|	ADV
iajs-2377	63	1	|	|	ADV
iajs-2377	63	2	|	|	INTJ
iajs-2377	64	1	|	|	ADV
iajs-2377	64	2	|	|	ADV
iajs-2377	64	3	(	(	PUNCT
iajs-2377	64	4	)	)	PUNCT
iajs-2377	64	5	theorem	theorem	VERB
iajs-2377	64	6	4	4	NUM
iajs-2377	64	7	:	:	PUNCT
iajs-2377	64	8	(	(	PUNCT
iajs-2377	64	9	)	)	PUNCT
iajs-2377	64	10	(	(	PUNCT
iajs-2377	64	11	)	)	PUNCT
iajs-2377	65	1	then	then	ADV
iajs-2377	65	2	|	|	ADV
iajs-2377	65	3	|	|	ADV
iajs-2377	66	1	|	|	ADV
iajs-2377	66	2	|	|	ADV
iajs-2377	66	3	(	(	PUNCT
iajs-2377	66	4	)	)	PUNCT
iajs-2377	66	5	(	(	PUNCT
iajs-2377	66	6	)	)	PUNCT
iajs-2377	67	1	|	|	ADV
iajs-2377	67	2	(	(	PUNCT
iajs-2377	67	3	)	)	PUNCT
iajs-2377	67	4	|	|	ADV
iajs-2377	68	1	|	|	ADV
iajs-2377	68	2	|	|	INTJ
iajs-2377	69	1	|	|	ADV
iajs-2377	69	2	|	|	ADV
iajs-2377	69	3	(	(	PUNCT
iajs-2377	69	4	)	)	PUNCT
iajs-2377	69	5	(	(	PUNCT
iajs-2377	69	6	)	)	PUNCT
iajs-2377	69	7	011	011	NUM
iajs-2377	69	8	ibn	ibn	PROPN
iajs-2377	69	9	al	al	PROPN
iajs-2377	69	10	-	-	PUNCT
iajs-2377	69	11	haitham	haitham	PROPN
iajs-2377	69	12	jour	jour	X
iajs-2377	69	13	.	.	PROPN
iajs-2377	70	1	for	for	ADP
iajs-2377	70	2	pure	pure	ADJ
iajs-2377	70	3	&	&	CCONJ
iajs-2377	70	4	appl	appl	PROPN
iajs-2377	70	5	.	.	PUNCT
iajs-2377	71	1	sci	sci	PROPN
iajs-2377	71	2	.	.	PROPN
iajs-2377	72	1	33	33	NUM
iajs-2377	72	2	(	(	PUNCT
iajs-2377	72	3	1	1	NUM
iajs-2377	72	4	)	)	PUNCT
iajs-2377	72	5	2020	2020	NUM
iajs-2377	73	1	with	with	ADP
iajs-2377	73	2	equality	equality	NOUN
iajs-2377	73	3	(	(	PUNCT
iajs-2377	73	4	)	)	PUNCT
iajs-2377	73	5	(	(	PUNCT
iajs-2377	73	6	)	)	PUNCT
iajs-2377	73	7	(	(	PUNCT
iajs-2377	73	8	)	)	PUNCT
iajs-2377	73	9	proof	proof	NOUN
iajs-2377	73	10	:	:	PUNCT
iajs-2377	73	11	(	(	PUNCT
iajs-2377	73	12	)	)	PUNCT
iajs-2377	73	13	(	(	PUNCT
iajs-2377	73	14	)	)	PUNCT
iajs-2377	73	15	therefore	therefore	ADV
iajs-2377	73	16	from	from	ADP
iajs-2377	73	17	theorem	theorem	ADJ
iajs-2377	73	18	2	2	NUM
iajs-2377	73	19	∑	∑	PUNCT
iajs-2377	73	20	(	(	PUNCT
iajs-2377	73	21	)	)	PUNCT
iajs-2377	73	22	|	|	ADV
iajs-2377	73	23	(	(	PUNCT
iajs-2377	73	24	)	)	PUNCT
iajs-2377	74	1	|	|	ADV
iajs-2377	74	2	|	|	ADV
iajs-2377	74	3	|	|	ADV
iajs-2377	74	4	∑	∑	ADV
iajs-2377	75	1	|	|	ADV
iajs-2377	75	2	||	||	ADV
iajs-2377	76	1	|	|	ADV
iajs-2377	77	1	|	|	ADV
iajs-2377	78	1	|	|	INTJ
iajs-2377	78	2	|	|	ADV
iajs-2377	78	3	|	|	ADV
iajs-2377	78	4	∑	∑	INTJ
iajs-2377	79	1	|	|	ADV
iajs-2377	79	2	|	|	ADV
iajs-2377	80	1	|	|	INTJ
iajs-2377	81	1	|	|	INTJ
iajs-2377	81	2	|	|	ADV
iajs-2377	81	3	|	|	ADV
iajs-2377	81	4	(	(	PUNCT
iajs-2377	81	5	)	)	PUNCT
iajs-2377	81	6	(	(	PUNCT
iajs-2377	81	7	)	)	PUNCT
iajs-2377	81	8	similarly	similarly	ADV
iajs-2377	81	9	|	|	ADV
iajs-2377	81	10	(	(	PUNCT
iajs-2377	81	11	)	)	PUNCT
iajs-2377	81	12	|	|	ADV
iajs-2377	81	13	|	|	ADV
iajs-2377	81	14	|	|	ADV
iajs-2377	81	15	∑	∑	ADV
iajs-2377	82	1	|	|	ADV
iajs-2377	82	2	||	||	ADV
iajs-2377	83	1	|	|	ADV
iajs-2377	84	1	|	|	ADV
iajs-2377	85	1	|	|	INTJ
iajs-2377	85	2	|	|	ADV
iajs-2377	85	3	|	|	ADV
iajs-2377	85	4	∑	∑	INTJ
iajs-2377	86	1	|	|	ADV
iajs-2377	86	2	|	|	ADV
iajs-2377	87	1	|	|	INTJ
iajs-2377	88	1	|	|	INTJ
iajs-2377	88	2	|	|	ADV
iajs-2377	88	3	|	|	ADV
iajs-2377	88	4	(	(	PUNCT
iajs-2377	88	5	)	)	PUNCT
iajs-2377	88	6	(	(	PUNCT
iajs-2377	88	7	)	)	PUNCT
iajs-2377	88	8	therefore	therefore	ADV
iajs-2377	89	1	|	|	ADV
iajs-2377	89	2	|	|	ADV
iajs-2377	90	1	|	|	ADV
iajs-2377	90	2	|	|	ADV
iajs-2377	90	3	(	(	PUNCT
iajs-2377	90	4	)	)	PUNCT
iajs-2377	90	5	(	(	PUNCT
iajs-2377	90	6	)	)	PUNCT
iajs-2377	91	1	|	|	ADV
iajs-2377	91	2	(	(	PUNCT
iajs-2377	91	3	)	)	PUNCT
iajs-2377	91	4	|	|	ADV
iajs-2377	92	1	|	|	ADV
iajs-2377	92	2	|	|	INTJ
iajs-2377	93	1	|	|	ADV
iajs-2377	93	2	|	|	ADV
iajs-2377	93	3	(	(	PUNCT
iajs-2377	93	4	)	)	PUNCT
iajs-2377	93	5	(	(	PUNCT
iajs-2377	93	6	)	)	PUNCT
iajs-2377	93	7	theorem	theorem	VERB
iajs-2377	93	8	5	5	NUM
iajs-2377	93	9	:	:	PUNCT
iajs-2377	93	10	(	(	PUNCT
iajs-2377	93	11	)	)	PUNCT
iajs-2377	93	12	(	(	PUNCT
iajs-2377	93	13	)	)	PUNCT
iajs-2377	94	1	then	then	ADV
iajs-2377	94	2	|	|	ADV
iajs-2377	94	3	|	|	ADV
iajs-2377	94	4	(	(	PUNCT
iajs-2377	94	5	)	)	PUNCT
iajs-2377	94	6	|	|	ADV
iajs-2377	94	7	|	|	ADV
iajs-2377	94	8	(	(	PUNCT
iajs-2377	94	9	)	)	PUNCT
iajs-2377	94	10	|	|	ADV
iajs-2377	94	11	(	(	PUNCT
iajs-2377	94	12	)	)	PUNCT
iajs-2377	94	13	|	|	ADV
iajs-2377	95	1	|	|	ADV
iajs-2377	95	2	|	|	INTJ
iajs-2377	95	3	(	(	PUNCT
iajs-2377	95	4	)	)	PUNCT
iajs-2377	95	5	|	|	ADV
iajs-2377	95	6	|	|	ADV
iajs-2377	95	7	(	(	PUNCT
iajs-2377	95	8	)	)	PUNCT
iajs-2377	95	9	proof	proof	NOUN
iajs-2377	95	10	:	:	PUNCT
iajs-2377	95	11	(	(	PUNCT
iajs-2377	95	12	)	)	PUNCT
iajs-2377	95	13	(	(	PUNCT
iajs-2377	95	14	)	)	PUNCT
iajs-2377	95	15	therefore	therefore	ADV
iajs-2377	95	16	from	from	ADP
iajs-2377	95	17	theorem	theorem	ADJ
iajs-2377	95	18	1	1	NUM
iajs-2377	95	19	∑	∑	PUNCT
iajs-2377	95	20	(	(	PUNCT
iajs-2377	95	21	)	)	PUNCT
iajs-2377	95	22	(	(	PUNCT
iajs-2377	95	23	)	)	PUNCT
iajs-2377	95	24	∑	∑	ADV
iajs-2377	95	25	|	|	ADV
iajs-2377	95	26	(	(	PUNCT
iajs-2377	95	27	)	)	PUNCT
iajs-2377	95	28	|	|	ADV
iajs-2377	96	1	|	|	ADV
iajs-2377	96	2	|	|	ADV
iajs-2377	96	3	∑	∑	ADV
iajs-2377	97	1	|	|	ADV
iajs-2377	97	2	||	||	ADV
iajs-2377	98	1	|	|	ADV
iajs-2377	98	2	|	|	ADV
iajs-2377	98	3	|	|	INTJ
iajs-2377	98	4	(	(	PUNCT
iajs-2377	98	5	)	)	PUNCT
iajs-2377	99	1	|	|	ADV
iajs-2377	99	2	|	|	ADV
iajs-2377	99	3	∑	∑	INTJ
iajs-2377	100	1	|	|	ADV
iajs-2377	101	1	|	|	ADV
iajs-2377	102	1	|	|	ADV
iajs-2377	103	1	|	|	INTJ
iajs-2377	103	2	(	(	PUNCT
iajs-2377	103	3	)	)	PUNCT
iajs-2377	104	1	|	|	ADV
iajs-2377	104	2	|	|	ADV
iajs-2377	104	3	(	(	PUNCT
iajs-2377	104	4	)	)	PUNCT
iajs-2377	104	5	similarly	similarly	ADV
iajs-2377	104	6	|	|	ADV
iajs-2377	104	7	(	(	PUNCT
iajs-2377	104	8	)	)	PUNCT
iajs-2377	104	9	|	|	ADV
iajs-2377	104	10	|	|	ADV
iajs-2377	104	11	|	|	ADV
iajs-2377	104	12	∑	∑	ADV
iajs-2377	105	1	|	|	ADV
iajs-2377	105	2	||	||	ADV
iajs-2377	106	1	|	|	ADV
iajs-2377	106	2	|	|	ADV
iajs-2377	106	3	|	|	INTJ
iajs-2377	106	4	(	(	PUNCT
iajs-2377	106	5	)	)	PUNCT
iajs-2377	107	1	|	|	ADV
iajs-2377	107	2	|	|	ADV
iajs-2377	107	3	∑	∑	INTJ
iajs-2377	108	1	|	|	ADV
iajs-2377	109	1	|	|	ADV
iajs-2377	110	1	|	|	ADV
iajs-2377	111	1	|	|	INTJ
iajs-2377	111	2	(	(	PUNCT
iajs-2377	111	3	)	)	PUNCT
iajs-2377	112	1	|	|	ADV
iajs-2377	112	2	|	|	ADV
iajs-2377	112	3	(	(	PUNCT
iajs-2377	112	4	)	)	PUNCT
iajs-2377	112	5	therefore	therefore	ADV
iajs-2377	112	6	|	|	ADV
iajs-2377	112	7	|	|	ADV
iajs-2377	112	8	(	(	PUNCT
iajs-2377	112	9	)	)	PUNCT
iajs-2377	113	1	|	|	ADV
iajs-2377	113	2	|	|	ADV
iajs-2377	113	3	(	(	PUNCT
iajs-2377	113	4	)	)	PUNCT
iajs-2377	113	5	|	|	ADV
iajs-2377	114	1	(	(	PUNCT
iajs-2377	114	2	)	)	PUNCT
iajs-2377	114	3	|	|	ADV
iajs-2377	114	4	|	|	ADV
iajs-2377	114	5	|	|	INTJ
iajs-2377	114	6	(	(	PUNCT
iajs-2377	114	7	)	)	PUNCT
iajs-2377	114	8	|	|	ADV
iajs-2377	114	9	|	|	ADV
iajs-2377	114	10	(	(	PUNCT
iajs-2377	114	11	)	)	PUNCT
iajs-2377	114	12	theorem	theorem	VERB
iajs-2377	114	13	6	6	NUM
iajs-2377	114	14	:	:	PUNCT
iajs-2377	114	15	(	(	PUNCT
iajs-2377	114	16	)	)	PUNCT
iajs-2377	114	17	(	(	PUNCT
iajs-2377	114	18	)	)	PUNCT
iajs-2377	115	1	then	then	ADV
iajs-2377	115	2	|	|	ADV
iajs-2377	115	3	|	|	ADV
iajs-2377	116	1	|	|	ADV
iajs-2377	116	2	|	|	ADV
iajs-2377	116	3	(	(	PUNCT
iajs-2377	116	4	)	)	PUNCT
iajs-2377	117	1	|	|	ADV
iajs-2377	117	2	(	(	PUNCT
iajs-2377	117	3	)	)	PUNCT
iajs-2377	117	4	|	|	ADV
iajs-2377	118	1	|	|	ADV
iajs-2377	118	2	|	|	INTJ
iajs-2377	119	1	|	|	ADV
iajs-2377	119	2	|	|	ADV
iajs-2377	119	3	(	(	PUNCT
iajs-2377	119	4	)	)	PUNCT
iajs-2377	119	5	proof	proof	NOUN
iajs-2377	119	6	:	:	PUNCT
iajs-2377	119	7	(	(	PUNCT
iajs-2377	119	8	)	)	PUNCT
iajs-2377	119	9	(	(	PUNCT
iajs-2377	119	10	)	)	PUNCT
iajs-2377	119	11	then	then	ADV
iajs-2377	119	12	therefore	therefore	ADV
iajs-2377	119	13	from	from	ADP
iajs-2377	119	14	theorem	theorem	ADJ
iajs-2377	119	15	2	2	NUM
iajs-2377	119	16	∑	∑	PUNCT
iajs-2377	119	17	(	(	PUNCT
iajs-2377	119	18	)	)	PUNCT
iajs-2377	119	19	010	010	NUM
iajs-2377	120	1	ibn	ibn	PROPN
iajs-2377	120	2	al	al	PROPN
iajs-2377	120	3	-	-	PUNCT
iajs-2377	120	4	haitham	haitham	PROPN
iajs-2377	120	5	jour	jour	X
iajs-2377	120	6	.	.	PROPN
iajs-2377	120	7	for	for	ADP
iajs-2377	120	8	pure	pure	ADJ
iajs-2377	120	9	&	&	CCONJ
iajs-2377	120	10	appl	appl	PROPN
iajs-2377	120	11	.	.	PUNCT
iajs-2377	121	1	sci	sci	PROPN
iajs-2377	121	2	.	.	PROPN
iajs-2377	122	1	33	33	NUM
iajs-2377	122	2	(	(	PUNCT
iajs-2377	122	3	1	1	NUM
iajs-2377	122	4	)	)	PUNCT
iajs-2377	122	5	2020	2020	NUM
iajs-2377	122	6	(	(	PUNCT
iajs-2377	122	7	)	)	PUNCT
iajs-2377	122	8	∑	∑	PUNCT
iajs-2377	122	9	|	|	ADV
iajs-2377	122	10	(	(	PUNCT
iajs-2377	122	11	)	)	PUNCT
iajs-2377	123	1	|	|	ADV
iajs-2377	123	2	|	|	ADV
iajs-2377	123	3	|	|	ADV
iajs-2377	123	4	∑	∑	ADV
iajs-2377	124	1	|	|	ADV
iajs-2377	124	2	||	||	ADV
iajs-2377	125	1	|	|	ADV
iajs-2377	125	2	|	|	ADV
iajs-2377	125	3	|	|	INTJ
iajs-2377	125	4	(	(	PUNCT
iajs-2377	125	5	)	)	PUNCT
iajs-2377	126	1	|	|	ADV
iajs-2377	126	2	|	|	ADV
iajs-2377	126	3	∑	∑	INTJ
iajs-2377	127	1	|	|	ADV
iajs-2377	128	1	|	|	ADV
iajs-2377	129	1	|	|	INTJ
iajs-2377	130	1	|	|	INTJ
iajs-2377	130	2	|	|	ADV
iajs-2377	130	3	|	|	ADV
iajs-2377	130	4	(	(	PUNCT
iajs-2377	130	5	)	)	PUNCT
iajs-2377	130	6	similarly	similarly	ADV
iajs-2377	130	7	|	|	ADV
iajs-2377	130	8	(	(	PUNCT
iajs-2377	130	9	)	)	PUNCT
iajs-2377	130	10	|	|	ADV
iajs-2377	130	11	|	|	ADV
iajs-2377	130	12	|	|	ADV
iajs-2377	130	13	∑	∑	ADV
iajs-2377	131	1	|	|	ADV
iajs-2377	131	2	||	||	ADV
iajs-2377	132	1	|	|	ADV
iajs-2377	132	2	|	|	ADV
iajs-2377	132	3	|	|	INTJ
iajs-2377	132	4	(	(	PUNCT
iajs-2377	132	5	)	)	PUNCT
iajs-2377	133	1	|	|	ADV
iajs-2377	133	2	|	|	ADV
iajs-2377	133	3	∑	∑	INTJ
iajs-2377	134	1	|	|	ADV
iajs-2377	135	1	|	|	ADV
iajs-2377	136	1	|	|	INTJ
iajs-2377	137	1	|	|	INTJ
iajs-2377	137	2	|	|	ADV
iajs-2377	137	3	|	|	ADV
iajs-2377	137	4	(	(	PUNCT
iajs-2377	137	5	)	)	PUNCT
iajs-2377	137	6	therefore	therefore	ADV
iajs-2377	138	1	|	|	ADV
iajs-2377	138	2	|	|	ADV
iajs-2377	139	1	|	|	ADV
iajs-2377	139	2	|	|	ADV
iajs-2377	139	3	(	(	PUNCT
iajs-2377	139	4	)	)	PUNCT
iajs-2377	140	1	|	|	ADV
iajs-2377	140	2	(	(	PUNCT
iajs-2377	140	3	)	)	PUNCT
iajs-2377	140	4	|	|	ADV
iajs-2377	141	1	|	|	ADV
iajs-2377	141	2	|	|	INTJ
iajs-2377	142	1	|	|	ADV
iajs-2377	142	2	|	|	ADV
iajs-2377	142	3	(	(	PUNCT
iajs-2377	142	4	)	)	PUNCT
iajs-2377	142	5	(	(	PUNCT
iajs-2377	142	6	)	)	PUNCT
iajs-2377	142	7	is	be	AUX
iajs-2377	142	8	function	function	NOUN
iajs-2377	142	9	in	in	ADP
iajs-2377	142	10	(	(	PUNCT
iajs-2377	142	11	)	)	PUNCT
iajs-2377	142	12	is	be	AUX
iajs-2377	142	13	called	call	VERB
iajs-2377	142	14	close	close	ADV
iajs-2377	142	15	to	to	PART
iajs-2377	142	16	convex	convex	VERB
iajs-2377	142	17	of	of	ADP
iajs-2377	142	18	order	order	NOUN
iajs-2377	142	19	(	(	PUNCT
iajs-2377	142	20	)	)	PUNCT
iajs-2377	142	21	if	if	SCONJ
iajs-2377	142	22	(	(	PUNCT
iajs-2377	142	23	)	)	PUNCT
iajs-2377	142	24	*	*	PUNCT
iajs-2377	142	25	(	(	PUNCT
iajs-2377	142	26	)	)	PUNCT
iajs-2377	142	27	+	+	CCONJ
iajs-2377	142	28	for	for	ADP
iajs-2377	142	29	all	all	DET
iajs-2377	142	30	a	a	DET
iajs-2377	142	31	function	function	NOUN
iajs-2377	142	32	(	(	PUNCT
iajs-2377	142	33	)	)	PUNCT
iajs-2377	142	34	(	(	PUNCT
iajs-2377	142	35	)	)	PUNCT
iajs-2377	142	36	is	be	AUX
iajs-2377	142	37	starlike	starlike	NOUN
iajs-2377	142	38	of	of	ADP
iajs-2377	142	39	order	order	NOUN
iajs-2377	142	40	(	(	PUNCT
iajs-2377	142	41	)	)	PUNCT
iajs-2377	142	42	if	if	SCONJ
iajs-2377	142	43	2	2	NUM
iajs-2377	142	44	(	(	PUNCT
iajs-2377	142	45	)	)	PUNCT
iajs-2377	142	46	(	(	PUNCT
iajs-2377	142	47	)	)	PUNCT
iajs-2377	142	48	3	3	NUM
iajs-2377	142	49	for	for	ADP
iajs-2377	142	50	all	all	DET
iajs-2377	142	51	a	a	DET
iajs-2377	142	52	function	function	NOUN
iajs-2377	142	53	(	(	PUNCT
iajs-2377	142	54	)	)	PUNCT
iajs-2377	142	55	(	(	PUNCT
iajs-2377	142	56	)	)	PUNCT
iajs-2377	142	57	is	be	AUX
iajs-2377	142	58	convex	convex	NOUN
iajs-2377	142	59	of	of	ADP
iajs-2377	142	60	order	order	NOUN
iajs-2377	142	61	(	(	PUNCT
iajs-2377	142	62	)	)	PUNCT
iajs-2377	142	63	if	if	SCONJ
iajs-2377	142	64	(	(	PUNCT
iajs-2377	142	65	)	)	PUNCT
iajs-2377	142	66	is	be	AUX
iajs-2377	142	67	starlike	starlike	NOUN
iajs-2377	142	68	of	of	ADP
iajs-2377	142	69	order	order	NOUN
iajs-2377	142	70	,	,	PUNCT
iajs-2377	142	71	that	that	ADV
iajs-2377	142	72	is	is	ADV
iajs-2377	142	73	2	2	NUM
iajs-2377	142	74	(	(	PUNCT
iajs-2377	142	75	)	)	PUNCT
iajs-2377	142	76	(	(	PUNCT
iajs-2377	142	77	)	)	PUNCT
iajs-2377	142	78	3	3	NUM
iajs-2377	142	79	for	for	ADP
iajs-2377	142	80	all	all	PRON
iajs-2377	142	81	theorem	theorem	VERB
iajs-2377	142	82	7	7	NUM
iajs-2377	142	83	:	:	PUNCT
iajs-2377	142	84	if	if	SCONJ
iajs-2377	142	85	(	(	PUNCT
iajs-2377	142	86	)	)	PUNCT
iajs-2377	142	87	(	(	PUNCT
iajs-2377	142	88	)	)	PUNCT
iajs-2377	142	89	,	,	PUNCT
iajs-2377	142	90	then	then	ADV
iajs-2377	142	91	(	(	PUNCT
iajs-2377	142	92	)	)	PUNCT
iajs-2377	143	1	if	if	SCONJ
iajs-2377	143	2	|	|	ADV
iajs-2377	143	3	|	|	ADV
iajs-2377	143	4	(	(	PUNCT
iajs-2377	143	5	)	)	PUNCT
iajs-2377	143	6	(	(	PUNCT
iajs-2377	143	7	(	(	PUNCT
iajs-2377	143	8	)	)	PUNCT
iajs-2377	143	9	*	*	PUNCT
iajs-2377	143	10	proof	proof	NOUN
iajs-2377	143	11	:	:	PUNCT
iajs-2377	143	12	we	we	PRON
iajs-2377	143	13	need	need	VERB
iajs-2377	143	14	to	to	PART
iajs-2377	143	15	show	show	VERB
iajs-2377	143	16	that	that	SCONJ
iajs-2377	143	17	|	|	NOUN
iajs-2377	143	18	(	(	PUNCT
iajs-2377	143	19	)	)	PUNCT
iajs-2377	143	20	|	|	ADV
iajs-2377	143	21	that	that	PRON
iajs-2377	143	22	is	be	AUX
iajs-2377	143	23	|	|	ADV
iajs-2377	143	24	(	(	PUNCT
iajs-2377	143	25	)	)	PUNCT
iajs-2377	144	1	|	|	ADV
iajs-2377	144	2	∑	∑	ADV
iajs-2377	144	3	|	|	ADV
iajs-2377	144	4	||	||	ADV
iajs-2377	144	5	|	|	INTJ
iajs-2377	144	6	…	…	PUNCT
iajs-2377	144	7	…	…	PUNCT
iajs-2377	144	8	(	(	PUNCT
iajs-2377	144	9	4	4	NUM
iajs-2377	144	10	)	)	PUNCT
iajs-2377	144	11	from	from	ADP
iajs-2377	144	12	theorem	theorem	NOUN
iajs-2377	144	13	1	1	NUM
iajs-2377	144	14	we	we	PRON
iajs-2377	144	15	have	have	AUX
iajs-2377	144	16	∑	∑	ADV
iajs-2377	144	17	(	(	PUNCT
iajs-2377	144	18	)	)	PUNCT
iajs-2377	144	19	note	note	VERB
iajs-2377	144	20	that	that	SCONJ
iajs-2377	144	21	(	(	PUNCT
iajs-2377	144	22	4	4	X
iajs-2377	144	23	)	)	PUNCT
iajs-2377	144	24	is	be	AUX
iajs-2377	144	25	true	true	ADJ
iajs-2377	145	1	if	if	SCONJ
iajs-2377	145	2	|	|	ADV
iajs-2377	145	3	|	|	ADV
iajs-2377	145	4	(	(	PUNCT
iajs-2377	145	5	)	)	PUNCT
iajs-2377	145	6	therefore	therefore	ADV
iajs-2377	145	7	|	|	ADV
iajs-2377	145	8	|	|	ADV
iajs-2377	145	9	.	.	PUNCT
iajs-2377	146	1	(	(	PUNCT
iajs-2377	146	2	)	)	PUNCT
iajs-2377	146	3	/	/	SYM
iajs-2377	146	4	(	(	PUNCT
iajs-2377	146	5	)	)	PUNCT
iajs-2377	146	6	thus	thus	ADV
iajs-2377	146	7	we	we	PRON
iajs-2377	146	8	get	get	VERB
iajs-2377	146	9	required	require	VERB
iajs-2377	146	10	result	result	NOUN
iajs-2377	146	11	.	.	PUNCT
iajs-2377	147	1	theorem	theorem	ADJ
iajs-2377	147	2	8	8	NUM
iajs-2377	147	3	:	:	PUNCT
iajs-2377	147	4	if	if	SCONJ
iajs-2377	147	5	(	(	PUNCT
iajs-2377	147	6	)	)	PUNCT
iajs-2377	147	7	(	(	PUNCT
iajs-2377	147	8	)	)	PUNCT
iajs-2377	147	9	,	,	PUNCT
iajs-2377	147	10	then	then	ADV
iajs-2377	147	11	(	(	PUNCT
iajs-2377	147	12	)	)	PUNCT
iajs-2377	148	1	if	if	SCONJ
iajs-2377	148	2	|	|	ADV
iajs-2377	148	3	|	|	ADV
iajs-2377	148	4	(	(	PUNCT
iajs-2377	148	5	)	)	PUNCT
iajs-2377	148	6	(	(	PUNCT
iajs-2377	148	7	(	(	PUNCT
iajs-2377	148	8	.	.	PUNCT
iajs-2377	148	9	/	/	SYM
iajs-2377	148	10	(	(	PUNCT
iajs-2377	148	11	)	)	PUNCT
iajs-2377	148	12	+	+	CCONJ
iajs-2377	148	13	,	,	PUNCT
iajs-2377	148	14	proof	proof	NOUN
iajs-2377	148	15	:	:	PUNCT
iajs-2377	148	16	we	we	PRON
iajs-2377	148	17	must	must	AUX
iajs-2377	148	18	show	show	VERB
iajs-2377	148	19	that	that	SCONJ
iajs-2377	148	20	|	|	INTJ
iajs-2377	148	21	(	(	PUNCT
iajs-2377	148	22	)	)	PUNCT
iajs-2377	148	23	(	(	PUNCT
iajs-2377	148	24	)	)	PUNCT
iajs-2377	148	25	|	|	ADV
iajs-2377	148	26	we	we	PRON
iajs-2377	148	27	have	have	AUX
iajs-2377	148	28	|	|	ADV
iajs-2377	148	29	(	(	PUNCT
iajs-2377	148	30	)	)	PUNCT
iajs-2377	148	31	(	(	PUNCT
iajs-2377	148	32	)	)	PUNCT
iajs-2377	148	33	|	|	ADV
iajs-2377	148	34	∑	∑	PUNCT
iajs-2377	148	35	(	(	PUNCT
iajs-2377	148	36	)	)	PUNCT
iajs-2377	149	1	|	|	ADV
iajs-2377	149	2	||	||	NOUN
iajs-2377	150	1	|	|	ADV
iajs-2377	150	2	∑	∑	ADV
iajs-2377	150	3	|	|	ADV
iajs-2377	150	4	||	||	ADV
iajs-2377	151	1	|	|	INTJ
iajs-2377	151	2	(	(	PUNCT
iajs-2377	151	3	5	5	NUM
iajs-2377	151	4	)	)	PUNCT
iajs-2377	151	5	hence	hence	ADV
iajs-2377	151	6	(	(	PUNCT
iajs-2377	151	7	4.4.3	4.4.3	X
iajs-2377	151	8	)	)	PUNCT
iajs-2377	151	9	holds	hold	VERB
iajs-2377	151	10	true	true	ADJ
iajs-2377	151	11	if	if	SCONJ
iajs-2377	151	12	∑	∑	PROPN
iajs-2377	151	13	(	(	PUNCT
iajs-2377	151	14	)	)	PUNCT
iajs-2377	151	15	(	(	PUNCT
iajs-2377	151	16	)	)	PUNCT
iajs-2377	152	1	|	|	ADV
iajs-2377	152	2	||	||	INTJ
iajs-2377	153	1	|	|	INTJ
iajs-2377	153	2	(	(	PUNCT
iajs-2377	153	3	6	6	NUM
iajs-2377	153	4	)	)	PUNCT
iajs-2377	153	5	011	011	NUM
iajs-2377	154	1	ibn	ibn	PROPN
iajs-2377	154	2	al	al	PROPN
iajs-2377	154	3	-	-	PUNCT
iajs-2377	154	4	haitham	haitham	PROPN
iajs-2377	154	5	jour	jour	X
iajs-2377	154	6	.	.	PROPN
iajs-2377	154	7	for	for	ADP
iajs-2377	154	8	pure	pure	ADJ
iajs-2377	154	9	&	&	CCONJ
iajs-2377	154	10	appl	appl	PROPN
iajs-2377	154	11	.	.	PUNCT
iajs-2377	155	1	sci	sci	PROPN
iajs-2377	155	2	.	.	PROPN
iajs-2377	156	1	33	33	NUM
iajs-2377	156	2	(	(	PUNCT
iajs-2377	156	3	1	1	NUM
iajs-2377	156	4	)	)	PUNCT
iajs-2377	156	5	2020	2020	NUM
iajs-2377	157	1	from	from	ADP
iajs-2377	157	2	theorem	theorem	NOUN
iajs-2377	157	3	1	1	NUM
iajs-2377	157	4	we	we	PRON
iajs-2377	157	5	have	have	AUX
iajs-2377	157	6	∑	∑	ADV
iajs-2377	157	7	(	(	PUNCT
iajs-2377	157	8	)	)	PUNCT
iajs-2377	157	9	(	(	PUNCT
iajs-2377	157	10	7	7	X
iajs-2377	157	11	)	)	PUNCT
iajs-2377	157	12	hence	hence	ADV
iajs-2377	157	13	by	by	ADP
iajs-2377	157	14	using	use	VERB
iajs-2377	157	15	(	(	PUNCT
iajs-2377	157	16	6	6	NUM
iajs-2377	157	17	)	)	PUNCT
iajs-2377	157	18	and	and	CCONJ
iajs-2377	157	19	(	(	PUNCT
iajs-2377	157	20	7	7	X
iajs-2377	157	21	)	)	PUNCT
iajs-2377	157	22	we	we	PRON
iajs-2377	157	23	can	can	AUX
iajs-2377	157	24	obtain	obtain	VERB
iajs-2377	157	25	required	required	ADJ
iajs-2377	157	26	result	result	NOUN
iajs-2377	157	27	.	.	PUNCT
iajs-2377	158	1	theorem	theorem	ADJ
iajs-2377	158	2	9	9	NUM
iajs-2377	158	3	:	:	PUNCT
iajs-2377	158	4	if	if	SCONJ
iajs-2377	158	5	(	(	PUNCT
iajs-2377	158	6	)	)	PUNCT
iajs-2377	158	7	(	(	PUNCT
iajs-2377	158	8	)	)	PUNCT
iajs-2377	158	9	,	,	PUNCT
iajs-2377	158	10	then	then	ADV
iajs-2377	158	11	(	(	PUNCT
iajs-2377	158	12	)	)	PUNCT
iajs-2377	159	1	if	if	SCONJ
iajs-2377	159	2	|	|	ADV
iajs-2377	159	3	|	|	ADV
iajs-2377	159	4	(	(	PUNCT
iajs-2377	159	5	)	)	PUNCT
iajs-2377	159	6	(	(	PUNCT
iajs-2377	159	7	(	(	PUNCT
iajs-2377	159	8	4	4	NUM
iajs-2377	159	9	(	(	PUNCT
iajs-2377	159	10	)	)	PUNCT
iajs-2377	159	11	(	(	PUNCT
iajs-2377	159	12	)	)	PUNCT
iajs-2377	159	13	5	5	NUM
iajs-2377	159	14	(	(	PUNCT
iajs-2377	159	15	)	)	PUNCT
iajs-2377	159	16	+	+	CCONJ
iajs-2377	159	17	,	,	PUNCT
iajs-2377	159	18	proof	proof	NOUN
iajs-2377	159	19	:	:	PUNCT
iajs-2377	159	20	we	we	PRON
iajs-2377	159	21	know	know	VERB
iajs-2377	159	22	that	that	PRON
iajs-2377	159	23	is	be	AUX
iajs-2377	159	24	convex	convex	ADJ
iajs-2377	159	25	if	if	SCONJ
iajs-2377	159	26	and	and	CCONJ
iajs-2377	159	27	only	only	ADV
iajs-2377	159	28	if	if	SCONJ
iajs-2377	159	29	is	be	AUX
iajs-2377	159	30	starlike	starlike	NOUN
iajs-2377	159	31	we	we	PRON
iajs-2377	159	32	must	must	AUX
iajs-2377	159	33	show	show	VERB
iajs-2377	159	34	that	that	SCONJ
iajs-2377	160	1	|	|	INTJ
iajs-2377	160	2	(	(	PUNCT
iajs-2377	160	3	)	)	PUNCT
iajs-2377	160	4	(	(	PUNCT
iajs-2377	160	5	)	)	PUNCT
iajs-2377	160	6	|	|	ADV
iajs-2377	160	7	where	where	SCONJ
iajs-2377	160	8	(	(	PUNCT
iajs-2377	160	9	)	)	PUNCT
iajs-2377	160	10	(	(	PUNCT
iajs-2377	160	11	)	)	PUNCT
iajs-2377	160	12	therefore	therefore	ADV
iajs-2377	160	13	we	we	PRON
iajs-2377	160	14	have	have	VERB
iajs-2377	160	15	∑	∑	ADV
iajs-2377	160	16	(	(	PUNCT
iajs-2377	160	17	)	)	PUNCT
iajs-2377	160	18	(	(	PUNCT
iajs-2377	160	19	)	)	PUNCT
iajs-2377	161	1	|	|	ADV
iajs-2377	161	2	||	||	INTJ
iajs-2377	162	1	|	|	INTJ
iajs-2377	162	2	(	(	PUNCT
iajs-2377	162	3	8)	8)	NUM
iajs-2377	162	4	from	from	ADP
iajs-2377	162	5	theorem	theorem	NOUN
iajs-2377	162	6	1	1	NUM
iajs-2377	162	7	we	we	PRON
iajs-2377	162	8	have	have	AUX
iajs-2377	162	9	∑	∑	ADV
iajs-2377	162	10	(	(	PUNCT
iajs-2377	162	11	)	)	PUNCT
iajs-2377	162	12	(	(	PUNCT
iajs-2377	162	13	9	9	NUM
iajs-2377	162	14	)	)	PUNCT
iajs-2377	162	15	hence	hence	ADV
iajs-2377	162	16	by	by	ADP
iajs-2377	162	17	using	use	VERB
iajs-2377	162	18	(	(	PUNCT
iajs-2377	162	19	8)	8)	NUM
iajs-2377	162	20	and	and	CCONJ
iajs-2377	162	21	(	(	PUNCT
iajs-2377	162	22	9	9	X
iajs-2377	162	23	)	)	PUNCT
iajs-2377	162	24	we	we	PRON
iajs-2377	162	25	get	get	VERB
iajs-2377	162	26	4	4	NUM
iajs-2377	162	27	(	(	PUNCT
iajs-2377	162	28	)	)	PUNCT
iajs-2377	162	29	(	(	PUNCT
iajs-2377	162	30	)	)	PUNCT
iajs-2377	162	31	5	5	NUM
iajs-2377	163	1	|	|	ADV
iajs-2377	163	2	|	|	ADV
iajs-2377	163	3	(	(	PUNCT
iajs-2377	163	4	)	)	PUNCT
iajs-2377	164	1	|	|	ADV
iajs-2377	164	2	|	|	ADV
iajs-2377	164	3	(	(	PUNCT
iajs-2377	164	4	(	(	PUNCT
iajs-2377	164	5	4	4	NUM
iajs-2377	164	6	(	(	PUNCT
iajs-2377	164	7	)	)	PUNCT
iajs-2377	164	8	(	(	PUNCT
iajs-2377	164	9	)	)	PUNCT
iajs-2377	164	10	5	5	NUM
iajs-2377	164	11	(	(	PUNCT
iajs-2377	164	12	)	)	PUNCT
iajs-2377	164	13	+	+	CCONJ
iajs-2377	164	14	,	,	PUNCT
iajs-2377	164	15	theorem	theorem	ADJ
iajs-2377	164	16	10	10	NUM
iajs-2377	164	17	:	:	PUNCT
iajs-2377	164	18	let	let	VERB
iajs-2377	164	19	(	(	PUNCT
iajs-2377	164	20	)	)	PUNCT
iajs-2377	164	21	and	and	CCONJ
iajs-2377	164	22	(	(	PUNCT
iajs-2377	164	23	)	)	PUNCT
iajs-2377	164	24	(	(	PUNCT
iajs-2377	164	25	)	)	PUNCT
iajs-2377	164	26	then	then	ADV
iajs-2377	164	27	(	(	PUNCT
iajs-2377	164	28	)	)	PUNCT
iajs-2377	164	29	(	(	PUNCT
iajs-2377	164	30	)	)	PUNCT
iajs-2377	164	31	if	if	SCONJ
iajs-2377	164	32	and	and	CCONJ
iajs-2377	164	33	only	only	ADV
iajs-2377	164	34	if	if	SCONJ
iajs-2377	164	35	(	(	PUNCT
iajs-2377	164	36	)	)	PUNCT
iajs-2377	164	37	can	can	AUX
iajs-2377	164	38	be	be	AUX
iajs-2377	164	39	express	express	ADJ
iajs-2377	164	40	in	in	ADP
iajs-2377	164	41	the	the	DET
iajs-2377	164	42	form	form	NOUN
iajs-2377	164	43	(	(	PUNCT
iajs-2377	164	44	)	)	PUNCT
iajs-2377	164	45	(	(	PUNCT
iajs-2377	164	46	)	)	PUNCT
iajs-2377	164	47	∑	∑	PUNCT
iajs-2377	164	48	(	(	PUNCT
iajs-2377	164	49	)	)	PUNCT
iajs-2377	164	50	where	where	SCONJ
iajs-2377	164	51	∑	∑	ADP
iajs-2377	164	52	proof	proof	NOUN
iajs-2377	164	53	:	:	PUNCT
iajs-2377	164	54	let	let	VERB
iajs-2377	164	55	(	(	PUNCT
iajs-2377	164	56	)	)	PUNCT
iajs-2377	164	57	(	(	PUNCT
iajs-2377	164	58	)	)	PUNCT
iajs-2377	164	59	we	we	PRON
iajs-2377	164	60	have	have	AUX
iajs-2377	164	61	(	(	PUNCT
iajs-2377	164	62	)	)	PUNCT
iajs-2377	164	63	if	if	SCONJ
iajs-2377	164	64	we	we	PRON
iajs-2377	164	65	take	take	VERB
iajs-2377	164	66	(	(	PUNCT
iajs-2377	164	67	)	)	PUNCT
iajs-2377	164	68	and	and	CCONJ
iajs-2377	164	69	∑	∑	PUNCT
iajs-2377	164	70	theorem	theorem	VERB
iajs-2377	164	71	11	11	NUM
iajs-2377	164	72	:	:	PUNCT
iajs-2377	164	73	let	let	VERB
iajs-2377	164	74	(	(	PUNCT
iajs-2377	164	75	)	)	PUNCT
iajs-2377	164	76	∑	∑	PROPN
iajs-2377	164	77	(	(	PUNCT
iajs-2377	164	78	)	)	PUNCT
iajs-2377	164	79	be	be	AUX
iajs-2377	164	80	the	the	DET
iajs-2377	164	81	functions	function	NOUN
iajs-2377	164	82	in	in	ADP
iajs-2377	164	83	the	the	DET
iajs-2377	164	84	class	class	NOUN
iajs-2377	164	85	(	(	PUNCT
iajs-2377	164	86	)	)	PUNCT
iajs-2377	164	87	(	(	PUNCT
iajs-2377	164	88	)	)	PUNCT
iajs-2377	164	89	then	then	ADV
iajs-2377	164	90	the	the	DET
iajs-2377	164	91	function	function	NOUN
iajs-2377	164	92	:	:	PUNCT
iajs-2377	164	93	(	(	PUNCT
iajs-2377	164	94	)	)	PUNCT
iajs-2377	164	95	∑	∑	PUNCT
iajs-2377	164	96	∑	∑	PROPN
iajs-2377	164	97	is	be	AUX
iajs-2377	164	98	also	also	ADV
iajs-2377	164	99	in	in	ADP
iajs-2377	164	100	(	(	PUNCT
iajs-2377	164	101	)	)	PUNCT
iajs-2377	164	102	where	where	SCONJ
iajs-2377	164	103	*	*	PUNCT
iajs-2377	164	104	+	+	CCONJ
iajs-2377	164	105	with	with	ADP
iajs-2377	164	106	proof	proof	NOUN
iajs-2377	164	107	:	:	PUNCT
iajs-2377	164	108	since	since	SCONJ
iajs-2377	164	109	(	(	PUNCT
iajs-2377	164	110	)	)	PUNCT
iajs-2377	164	111	∑	∑	ADV
iajs-2377	164	112	is	be	AUX
iajs-2377	164	113	in	in	ADP
iajs-2377	164	114	(	(	PUNCT
iajs-2377	164	115	)	)	PUNCT
iajs-2377	164	116	so	so	ADV
iajs-2377	164	117	by	by	ADP
iajs-2377	164	118	theorem	theorem	NOUN
iajs-2377	164	119	2	2	NUM
iajs-2377	164	120	we	we	PRON
iajs-2377	164	121	have	have	VERB
iajs-2377	164	122	∑	∑	ADV
iajs-2377	164	123	(	(	PUNCT
iajs-2377	164	124	)	)	PUNCT
iajs-2377	164	125	(	(	PUNCT
iajs-2377	164	126	)	)	PUNCT
iajs-2377	165	1	|	|	ADV
iajs-2377	165	2	|	|	ADV
iajs-2377	165	3	(	(	PUNCT
iajs-2377	165	4	)	)	PUNCT
iajs-2377	165	5	(	(	PUNCT
iajs-2377	165	6	)	)	PUNCT
iajs-2377	165	7	*	*	PUNCT
iajs-2377	165	8	(	(	PUNCT
iajs-2377	165	9	)	)	PUNCT
iajs-2377	165	10	|	|	ADV
iajs-2377	165	11	(	(	PUNCT
iajs-2377	165	12	(	(	PUNCT
iajs-2377	165	13	)	)	PUNCT
iajs-2377	165	14	(	(	PUNCT
iajs-2377	165	15	)	)	PUNCT
iajs-2377	165	16	)	)	PUNCT
iajs-2377	165	17	|+	|+	NOUN
iajs-2377	165	18	we	we	PRON
iajs-2377	165	19	have	have	VERB
iajs-2377	165	20	∑	∑	PROPN
iajs-2377	165	21	(	(	PUNCT
iajs-2377	165	22	)	)	PUNCT
iajs-2377	165	23	.	.	PUNCT
iajs-2377	166	1	∑	∑	PUNCT
iajs-2377	166	2	/	/	SYM
iajs-2377	166	3	∑	∑	PROPN
iajs-2377	166	4	∑	∑	PUNCT
iajs-2377	166	5	(	(	PUNCT
iajs-2377	166	6	)	)	PUNCT
iajs-2377	166	7	.	.	PUNCT
iajs-2377	167	1	∑	∑	PUNCT
iajs-2377	167	2	/	/	SYM
iajs-2377	167	3	012	012	NUM
iajs-2377	167	4	ibn	ibn	PROPN
iajs-2377	167	5	al	al	PROPN
iajs-2377	167	6	-	-	PUNCT
iajs-2377	167	7	haitham	haitham	PROPN
iajs-2377	167	8	jour	jour	X
iajs-2377	167	9	.	.	PROPN
iajs-2377	167	10	for	for	ADP
iajs-2377	167	11	pure	pure	ADJ
iajs-2377	167	12	&	&	CCONJ
iajs-2377	167	13	appl	appl	PROPN
iajs-2377	167	14	.	.	PUNCT
iajs-2377	168	1	sci	sci	PROPN
iajs-2377	168	2	.	.	PROPN
iajs-2377	169	1	33	33	NUM
iajs-2377	169	2	(	(	PUNCT
iajs-2377	169	3	1	1	NUM
iajs-2377	169	4	)	)	PUNCT
iajs-2377	169	5	2020	2020	NUM
iajs-2377	169	6	hence	hence	ADV
iajs-2377	169	7	by	by	ADP
iajs-2377	169	8	theorem	theorem	NOUN
iajs-2377	169	9	1	1	NUM
iajs-2377	169	10	,	,	PUNCT
iajs-2377	169	11	(	(	PUNCT
iajs-2377	169	12	)	)	PUNCT
iajs-2377	169	13	(	(	PUNCT
iajs-2377	169	14	)	)	PUNCT
iajs-2377	169	15	theorem	theorem	NOUN
iajs-2377	169	16	12	12	NUM
iajs-2377	169	17	:	:	PUNCT
iajs-2377	169	18	let	let	VERB
iajs-2377	169	19	the	the	DET
iajs-2377	169	20	function	function	NOUN
iajs-2377	169	21	(	(	PUNCT
iajs-2377	169	22	)	)	PUNCT
iajs-2377	169	23	∑	∑	PUNCT
iajs-2377	169	24	(	(	PUNCT
iajs-2377	169	25	)	)	PUNCT
iajs-2377	169	26	∑	∑	PUNCT
iajs-2377	169	27	be	be	AUX
iajs-2377	169	28	in	in	ADP
iajs-2377	169	29	the	the	DET
iajs-2377	169	30	class	class	NOUN
iajs-2377	169	31	(	(	PUNCT
iajs-2377	169	32	)	)	PUNCT
iajs-2377	169	33	.	.	PUNCT
iajs-2377	170	1	then	then	ADV
iajs-2377	170	2	the	the	DET
iajs-2377	170	3	function	function	NOUN
iajs-2377	170	4	(	(	PUNCT
iajs-2377	170	5	)	)	PUNCT
iajs-2377	170	6	defined	define	VERB
iajs-2377	170	7	by	by	ADP
iajs-2377	170	8	(	(	PUNCT
iajs-2377	170	9	)	)	PUNCT
iajs-2377	170	10	(	(	PUNCT
iajs-2377	170	11	)	)	PUNCT
iajs-2377	170	12	(	(	PUNCT
iajs-2377	170	13	)	)	PUNCT
iajs-2377	170	14	(	(	PUNCT
iajs-2377	170	15	)	)	PUNCT
iajs-2377	170	16	∑	∑	ADP
iajs-2377	170	17	where	where	SCONJ
iajs-2377	170	18	(	(	PUNCT
iajs-2377	170	19	)	)	PUNCT
iajs-2377	170	20	is	be	AUX
iajs-2377	170	21	also	also	ADV
iajs-2377	170	22	in	in	ADP
iajs-2377	170	23	(	(	PUNCT
iajs-2377	170	24	)	)	PUNCT
iajs-2377	170	25	proff	proff	NOUN
iajs-2377	170	26	:	:	PUNCT
iajs-2377	170	27	we	we	PRON
iajs-2377	170	28	have	have	VERB
iajs-2377	170	29	(	(	PUNCT
iajs-2377	170	30	)	)	PUNCT
iajs-2377	170	31	(	(	PUNCT
iajs-2377	170	32	)	)	PUNCT
iajs-2377	170	33	(	(	PUNCT
iajs-2377	170	34	)	)	PUNCT
iajs-2377	170	35	(	(	PUNCT
iajs-2377	170	36	)	)	PUNCT
iajs-2377	170	37	(	(	PUNCT
iajs-2377	170	38	)	)	PUNCT
iajs-2377	170	39	(	(	PUNCT
iajs-2377	170	40	∑	∑	PUNCT
iajs-2377	170	41	)	)	PUNCT
iajs-2377	170	42	(	(	PUNCT
iajs-2377	170	43	∑	∑	PUNCT
iajs-2377	170	44	)	)	PUNCT
iajs-2377	170	45	∑	∑	PUNCT
iajs-2377	170	46	(	(	PUNCT
iajs-2377	170	47	(	(	PUNCT
iajs-2377	170	48	)	)	PUNCT
iajs-2377	170	49	)	)	PUNCT
iajs-2377	170	50	since	since	SCONJ
iajs-2377	170	51	(	(	PUNCT
iajs-2377	170	52	)	)	PUNCT
iajs-2377	170	53	so	so	ADV
iajs-2377	170	54	by	by	ADP
iajs-2377	170	55	theorem	theorem	NOUN
iajs-2377	170	56	1	1	NUM
iajs-2377	170	57	we	we	PRON
iajs-2377	170	58	have	have	AUX
iajs-2377	170	59	∑	∑	ADV
iajs-2377	170	60	(	(	PUNCT
iajs-2377	170	61	)	)	PUNCT
iajs-2377	170	62	and	and	CCONJ
iajs-2377	170	63	∑	∑	ADP
iajs-2377	170	64	(	(	PUNCT
iajs-2377	170	65	)	)	PUNCT
iajs-2377	170	66	therefore	therefore	ADV
iajs-2377	170	67	∑	∑	PUNCT
iajs-2377	170	68	(	(	PUNCT
iajs-2377	170	69	)	)	PUNCT
iajs-2377	170	70	(	(	PUNCT
iajs-2377	170	71	(	(	PUNCT
iajs-2377	170	72	)	)	PUNCT
iajs-2377	170	73	)	)	PUNCT
iajs-2377	170	74	(	(	PUNCT
iajs-2377	170	75	)	)	PUNCT
iajs-2377	170	76	∑	∑	PUNCT
iajs-2377	170	77	(	(	PUNCT
iajs-2377	170	78	)	)	PUNCT
iajs-2377	170	79	∑	∑	PUNCT
iajs-2377	170	80	(	(	PUNCT
iajs-2377	170	81	)	)	PUNCT
iajs-2377	170	82	(	(	PUNCT
iajs-2377	170	83	)	)	PUNCT
iajs-2377	170	84	∑	∑	PUNCT
iajs-2377	170	85	(	(	PUNCT
iajs-2377	170	86	)	)	PUNCT
iajs-2377	170	87	∑	∑	PUNCT
iajs-2377	170	88	(	(	PUNCT
iajs-2377	170	89	)	)	PUNCT
iajs-2377	170	90	therefore	therefore	ADV
iajs-2377	170	91	(	(	PUNCT
iajs-2377	170	92	)	)	PUNCT
iajs-2377	170	93	let	let	VERB
iajs-2377	170	94	(	(	PUNCT
iajs-2377	170	95	)	)	PUNCT
iajs-2377	170	96	,	,	PUNCT
iajs-2377	170	97	(	(	PUNCT
iajs-2377	170	98	)	)	PUNCT
iajs-2377	170	99	neighborhood	neighborhood	NOUN
iajs-2377	170	100	of	of	ADP
iajs-2377	170	101	the	the	DET
iajs-2377	170	102	function	function	NOUN
iajs-2377	170	103	(	(	PUNCT
iajs-2377	170	104	)	)	PUNCT
iajs-2377	170	105	is	be	AUX
iajs-2377	170	106	defined	define	VERB
iajs-2377	170	107	by	by	ADP
iajs-2377	170	108	(	(	PUNCT
iajs-2377	170	109	)	)	PUNCT
iajs-2377	170	110	{	{	PUNCT
iajs-2377	170	111	(	(	PUNCT
iajs-2377	170	112	)	)	PUNCT
iajs-2377	170	113	(	(	PUNCT
iajs-2377	170	114	)	)	PUNCT
iajs-2377	170	115	∑	∑	ADP
iajs-2377	170	116	∑	∑	ADV
iajs-2377	170	117	|	|	ADV
iajs-2377	170	118	|	|	ADV
iajs-2377	170	119	}	}	PUNCT
iajs-2377	170	120	…	…	PUNCT
iajs-2377	170	121	.(4.6.1	.(4.6.1	NUM
iajs-2377	170	122	)	)	PUNCT
iajs-2377	170	123	for	for	ADP
iajs-2377	170	124	the	the	DET
iajs-2377	170	125	identity	identity	NOUN
iajs-2377	170	126	function	function	NOUN
iajs-2377	170	127	if	if	SCONJ
iajs-2377	170	128	(	(	PUNCT
iajs-2377	170	129	)	)	PUNCT
iajs-2377	170	130	then	then	ADV
iajs-2377	170	131	(	(	PUNCT
iajs-2377	170	132	)	)	PUNCT
iajs-2377	170	133	{	{	PUNCT
iajs-2377	170	134	(	(	PUNCT
iajs-2377	170	135	)	)	PUNCT
iajs-2377	170	136	(	(	PUNCT
iajs-2377	170	137	)	)	PUNCT
iajs-2377	170	138	∑	∑	ADP
iajs-2377	170	139	∑	∑	ADV
iajs-2377	170	140	|	|	ADV
iajs-2377	170	141	|	|	ADV
iajs-2377	170	142	}	}	PUNCT
iajs-2377	170	143	(	(	PUNCT
iajs-2377	170	144	)	)	PUNCT
iajs-2377	170	145	definition	definition	NOUN
iajs-2377	170	146	4	4	NUM
iajs-2377	170	147	:	:	PUNCT
iajs-2377	170	148	a	a	DET
iajs-2377	170	149	function	function	NOUN
iajs-2377	170	150	(	(	PUNCT
iajs-2377	170	151	)	)	PUNCT
iajs-2377	170	152	∑	∑	ADV
iajs-2377	170	153	is	be	AUX
iajs-2377	170	154	in	in	ADP
iajs-2377	170	155	the	the	DET
iajs-2377	170	156	class	class	NOUN
iajs-2377	170	157	(	(	PUNCT
iajs-2377	170	158	)	)	PUNCT
iajs-2377	170	159	if	if	SCONJ
iajs-2377	170	160	there	there	PRON
iajs-2377	170	161	exist	exist	VERB
iajs-2377	170	162	(	(	PUNCT
iajs-2377	170	163	)	)	PUNCT
iajs-2377	170	164	(	(	PUNCT
iajs-2377	170	165	)	)	PUNCT
iajs-2377	170	166	such	such	ADJ
iajs-2377	170	167	that	that	SCONJ
iajs-2377	170	168	|	|	NOUN
iajs-2377	170	169	(	(	PUNCT
iajs-2377	170	170	)	)	PUNCT
iajs-2377	170	171	(	(	PUNCT
iajs-2377	170	172	)	)	PUNCT
iajs-2377	170	173	|	|	ADV
iajs-2377	170	174	(	(	PUNCT
iajs-2377	170	175	)	)	PUNCT
iajs-2377	170	176	013	013	NUM
iajs-2377	170	177	ibn	ibn	PROPN
iajs-2377	170	178	al	al	PROPN
iajs-2377	170	179	-	-	PUNCT
iajs-2377	170	180	haitham	haitham	PROPN
iajs-2377	170	181	jour	jour	X
iajs-2377	170	182	.	.	PROPN
iajs-2377	171	1	for	for	ADP
iajs-2377	171	2	pure	pure	ADJ
iajs-2377	171	3	&	&	CCONJ
iajs-2377	171	4	appl	appl	PROPN
iajs-2377	171	5	.	.	PUNCT
iajs-2377	172	1	sci	sci	PROPN
iajs-2377	172	2	.	.	PROPN
iajs-2377	173	1	33	33	NUM
iajs-2377	173	2	(	(	PUNCT
iajs-2377	173	3	1	1	NUM
iajs-2377	173	4	)	)	PUNCT
iajs-2377	173	5	2020	2020	NUM
iajs-2377	173	6	theorem	theorem	VERB
iajs-2377	173	7	13	13	NUM
iajs-2377	173	8	:	:	PUNCT
iajs-2377	173	9	if	if	SCONJ
iajs-2377	173	10	(	(	PUNCT
iajs-2377	173	11	)	)	PUNCT
iajs-2377	173	12	(	(	PUNCT
iajs-2377	173	13	)	)	PUNCT
iajs-2377	173	14	0	0	NUM
iajs-2377	174	1	(	(	PUNCT
iajs-2377	174	2	)	)	PUNCT
iajs-2377	174	3	1	1	NUM
iajs-2377	174	4	(	(	PUNCT
iajs-2377	174	5	12	12	NUM
iajs-2377	174	6	)	)	PUNCT
iajs-2377	174	7	then	then	ADV
iajs-2377	174	8	(	(	PUNCT
iajs-2377	174	9	)	)	PUNCT
iajs-2377	174	10	(	(	PUNCT
iajs-2377	174	11	)	)	PUNCT
iajs-2377	174	12	proof	proof	NOUN
iajs-2377	174	13	:	:	PUNCT
iajs-2377	174	14	let	let	VERB
iajs-2377	174	15	(	(	PUNCT
iajs-2377	174	16	)	)	PUNCT
iajs-2377	174	17	,	,	PUNCT
iajs-2377	174	18	then	then	ADV
iajs-2377	174	19	by	by	ADP
iajs-2377	174	20	(	(	PUNCT
iajs-2377	174	21	4.6	4.6	NUM
iajs-2377	174	22	)	)	PUNCT
iajs-2377	174	23	∑	∑	ADV
iajs-2377	175	1	|	|	ADV
iajs-2377	175	2	|	|	ADV
iajs-2377	175	3	this	this	PRON
iajs-2377	175	4	implies	imply	VERB
iajs-2377	175	5	that	that	SCONJ
iajs-2377	175	6	∑	∑	ADV
iajs-2377	175	7	|	|	ADV
iajs-2377	175	8	|	|	ADV
iajs-2377	175	9	(	(	PUNCT
iajs-2377	175	10	13	13	NUM
iajs-2377	175	11	)	)	PUNCT
iajs-2377	175	12	therefore	therefore	ADV
iajs-2377	175	13	|	|	ADV
iajs-2377	175	14	(	(	PUNCT
iajs-2377	175	15	)	)	PUNCT
iajs-2377	175	16	(	(	PUNCT
iajs-2377	175	17	)	)	PUNCT
iajs-2377	175	18	|	|	ADV
iajs-2377	175	19	∑	∑	ADV
iajs-2377	175	20	|	|	ADV
iajs-2377	175	21	|	|	ADV
iajs-2377	175	22	∑	∑	INTJ
iajs-2377	175	23	[	[	PUNCT
iajs-2377	175	24	(	(	PUNCT
iajs-2377	175	25	)	)	PUNCT
iajs-2377	175	26	]	]	PUNCT
iajs-2377	176	1	[	[	PUNCT
iajs-2377	176	2	(	(	PUNCT
iajs-2377	176	3	)	)	PUNCT
iajs-2377	176	4	]	]	PUNCT
iajs-2377	176	5	then	then	ADV
iajs-2377	176	6	by	by	ADP
iajs-2377	176	7	definition	definition	NOUN
iajs-2377	176	8	13	13	NUM
iajs-2377	176	9	,	,	PUNCT
iajs-2377	176	10	we	we	PRON
iajs-2377	176	11	get	get	VERB
iajs-2377	176	12	(	(	PUNCT
iajs-2377	176	13	)	)	PUNCT
iajs-2377	176	14	thus	thus	ADV
iajs-2377	176	15	(	(	PUNCT
iajs-2377	176	16	)	)	PUNCT
iajs-2377	176	17	(	(	PUNCT
iajs-2377	176	18	)	)	PUNCT
iajs-2377	176	19	.	.	PUNCT
iajs-2377	177	1	the	the	DET
iajs-2377	177	2	generalized	generalize	VERB
iajs-2377	177	3	bernardi	bernardi	PROPN
iajs-2377	177	4	integral	integral	ADJ
iajs-2377	177	5	operator	operator	NOUN
iajs-2377	177	6	is	be	AUX
iajs-2377	177	7	given	give	VERB
iajs-2377	177	8	by	by	ADP
iajs-2377	177	9	,	,	PUNCT
iajs-2377	177	10	(	(	PUNCT
iajs-2377	177	11	)	)	PUNCT
iajs-2377	177	12	∫	∫	PROPN
iajs-2377	177	13	(	(	PUNCT
iajs-2377	177	14	)	)	PUNCT
iajs-2377	177	15	(	(	PUNCT
iajs-2377	177	16	)	)	PUNCT
iajs-2377	177	17	,	,	PUNCT
iajs-2377	177	18	(	(	PUNCT
iajs-2377	177	19	)	)	PUNCT
iajs-2377	177	20	∑	∑	PUNCT
iajs-2377	177	21	(	(	PUNCT
iajs-2377	177	22	14	14	NUM
iajs-2377	177	23	)	)	PUNCT
iajs-2377	178	1	where	where	SCONJ
iajs-2377	178	2	.	.	PUNCT
iajs-2377	179	1	/	/	SYM
iajs-2377	180	1	theorem	theorem	ADJ
iajs-2377	180	2	14	14	NUM
iajs-2377	180	3	:	:	PUNCT
iajs-2377	180	4	let	let	VERB
iajs-2377	180	5	(	(	PUNCT
iajs-2377	180	6	)	)	PUNCT
iajs-2377	180	7	then	then	ADV
iajs-2377	180	8	,	,	PUNCT
iajs-2377	180	9	(	(	PUNCT
iajs-2377	180	10	)	)	PUNCT
iajs-2377	180	11	(	(	PUNCT
iajs-2377	180	12	)	)	PUNCT
iajs-2377	180	13	,	,	PUNCT
iajs-2377	180	14	s.s	s.s	PROPN
iajs-2377	180	15	.	.	PROPN
iajs-2377	180	16	miller	miller	PROPN
iajs-2377	180	17	,	,	PUNCT
iajs-2377	180	18	p.t	p.t	PROPN
iajs-2377	180	19	.	.	PROPN
iajs-2377	180	20	mocanu	mocanu	PROPN
iajs-2377	181	1	[	[	X
iajs-2377	181	2	4	4	NUM
iajs-2377	181	3	,	,	PUNCT
iajs-2377	181	4	5	5	NUM
iajs-2377	181	5	]	]	PUNCT
iajs-2377	181	6	.	.	PUNCT
iajs-2377	182	1	proof	proof	NOUN
iajs-2377	182	2	:	:	PUNCT
iajs-2377	182	3	we	we	PRON
iajs-2377	182	4	need	need	VERB
iajs-2377	182	5	to	to	PART
iajs-2377	182	6	prove	prove	VERB
iajs-2377	182	7	that	that	SCONJ
iajs-2377	182	8	∑	∑	PUNCT
iajs-2377	182	9	(	(	PUNCT
iajs-2377	182	10	)	)	PUNCT
iajs-2377	182	11	since	since	SCONJ
iajs-2377	182	12	(	(	PUNCT
iajs-2377	182	13	)	)	PUNCT
iajs-2377	182	14	then	then	ADV
iajs-2377	182	15	from	from	ADP
iajs-2377	182	16	theorem	theorem	ADJ
iajs-2377	182	17	1	1	NUM
iajs-2377	182	18	∑	∑	PUNCT
iajs-2377	182	19	(	(	PUNCT
iajs-2377	182	20	)	)	PUNCT
iajs-2377	182	21	but	but	CCONJ
iajs-2377	182	22	therefore	therefore	ADV
iajs-2377	182	23	theorem	theorem	VERB
iajs-2377	182	24	14	14	NUM
iajs-2377	182	25	holds	hold	NOUN
iajs-2377	182	26	and	and	CCONJ
iajs-2377	182	27	the	the	DET
iajs-2377	182	28	proof	proof	NOUN
iajs-2377	182	29	is	be	AUX
iajs-2377	182	30	over	over	ADV
iajs-2377	182	31	.	.	PUNCT
iajs-2377	183	1	theorem	theorem	ADJ
iajs-2377	183	2	15	15	NUM
iajs-2377	183	3	:	:	PUNCT
iajs-2377	183	4	let	let	VERB
iajs-2377	183	5	(	(	PUNCT
iajs-2377	183	6	)	)	PUNCT
iajs-2377	183	7	then	then	ADV
iajs-2377	183	8	,	,	PUNCT
iajs-2377	183	9	(	(	PUNCT
iajs-2377	183	10	)	)	PUNCT
iajs-2377	183	11	is	be	AUX
iajs-2377	183	12	starlice	starlice	NOUN
iajs-2377	183	13	of	of	ADP
iajs-2377	183	14	order	order	NOUN
iajs-2377	183	15	in	in	ADP
iajs-2377	183	16	|	|	ADV
iajs-2377	184	1	|	|	INTJ
iajs-2377	184	2	where	where	SCONJ
iajs-2377	184	3	|	|	ADV
iajs-2377	184	4	|	|	ADV
iajs-2377	184	5	4	4	NUM
iajs-2377	184	6	.	.	PUNCT
iajs-2377	184	7	/	/	PUNCT
iajs-2377	184	8	.	.	PUNCT
iajs-2377	185	1	(	(	PUNCT
iajs-2377	185	2	)	)	PUNCT
iajs-2377	185	3	/5	/5	PUNCT
iajs-2377	186	1	proof	proof	NOUN
iajs-2377	186	2	:	:	PUNCT
iajs-2377	186	3	,	,	PUNCT
iajs-2377	186	4	(	(	PUNCT
iajs-2377	186	5	)	)	PUNCT
iajs-2377	186	6	∑	∑	ADP
iajs-2377	186	7	it	it	PRON
iajs-2377	186	8	is	be	AUX
iajs-2377	186	9	enough	enough	ADJ
iajs-2377	186	10	to	to	PART
iajs-2377	186	11	prove	prove	VERB
iajs-2377	186	12	|	|	ADV
iajs-2377	186	13	(	(	PUNCT
iajs-2377	186	14	,	,	PUNCT
iajs-2377	186	15	(	(	PUNCT
iajs-2377	186	16	)	)	PUNCT
iajs-2377	186	17	-	-	PUNCT
iajs-2377	186	18	)	)	PUNCT
iajs-2377	186	19	,	,	PUNCT
iajs-2377	186	20	(	(	PUNCT
iajs-2377	186	21	)	)	PUNCT
iajs-2377	187	1	|	|	ADV
iajs-2377	187	2	|	|	ADV
iajs-2377	187	3	(	(	PUNCT
iajs-2377	187	4	,	,	PUNCT
iajs-2377	187	5	(	(	PUNCT
iajs-2377	187	6	)	)	PUNCT
iajs-2377	187	7	-	-	PUNCT
iajs-2377	187	8	)	)	PUNCT
iajs-2377	187	9	,	,	PUNCT
iajs-2377	187	10	(	(	PUNCT
iajs-2377	187	11	)	)	PUNCT
iajs-2377	187	12	|	|	ADV
iajs-2377	187	13	|	|	ADV
iajs-2377	187	14	∑	∑	INTJ
iajs-2377	187	15	(	(	PUNCT
iajs-2377	187	16	)	)	PUNCT
iajs-2377	187	17	∑	∑	PUNCT
iajs-2377	187	18	|	|	ADV
iajs-2377	187	19	∑	∑	INTJ
iajs-2377	187	20	(	(	PUNCT
iajs-2377	187	21	)	)	PUNCT
iajs-2377	188	1	|	|	ADV
iajs-2377	188	2	|	|	ADV
iajs-2377	188	3	∑	∑	INTJ
iajs-2377	189	1	|	|	ADV
iajs-2377	189	2	|	|	ADV
iajs-2377	189	3	∑	∑	INTJ
iajs-2377	189	4	(	(	PUNCT
iajs-2377	189	5	)	)	PUNCT
iajs-2377	190	1	|	|	ADV
iajs-2377	190	2	|	|	ADV
iajs-2377	190	3	(	(	PUNCT
iajs-2377	190	4	∑	∑	ADV
iajs-2377	190	5	|	|	ADV
iajs-2377	190	6	|	|	ADV
iajs-2377	190	7	)	)	PUNCT
iajs-2377	190	8	∑	∑	PUNCT
iajs-2377	190	9	(	(	PUNCT
iajs-2377	190	10	)	)	PUNCT
iajs-2377	190	11	(	(	PUNCT
iajs-2377	190	12	)	)	PUNCT
iajs-2377	190	13	|	|	ADV
iajs-2377	190	14	|	|	ADV
iajs-2377	190	15	(	(	PUNCT
iajs-2377	190	16	15	15	NUM
iajs-2377	190	17	)	)	PUNCT
iajs-2377	190	18	014	014	NUM
iajs-2377	190	19	ibn	ibn	PROPN
iajs-2377	190	20	al	al	PROPN
iajs-2377	190	21	-	-	PUNCT
iajs-2377	190	22	haitham	haitham	PROPN
iajs-2377	190	23	jour	jour	X
iajs-2377	190	24	.	.	PROPN
iajs-2377	190	25	for	for	ADP
iajs-2377	190	26	pure	pure	ADJ
iajs-2377	190	27	&	&	CCONJ
iajs-2377	190	28	appl	appl	PROPN
iajs-2377	190	29	.	.	PUNCT
iajs-2377	191	1	sci	sci	PROPN
iajs-2377	191	2	.	.	PROPN
iajs-2377	192	1	33	33	NUM
iajs-2377	192	2	(	(	PUNCT
iajs-2377	192	3	1	1	NUM
iajs-2377	192	4	)	)	PUNCT
iajs-2377	192	5	2020	2020	NUM
iajs-2377	193	1	from	from	ADP
iajs-2377	193	2	theorem	theorem	ADJ
iajs-2377	193	3	1	1	NUM
iajs-2377	193	4	∑	∑	PUNCT
iajs-2377	193	5	(	(	PUNCT
iajs-2377	193	6	)	)	PUNCT
iajs-2377	193	7	(	(	PUNCT
iajs-2377	193	8	16	16	NUM
iajs-2377	193	9	)	)	PUNCT
iajs-2377	193	10	hence	hence	ADV
iajs-2377	193	11	by	by	ADP
iajs-2377	193	12	using	use	VERB
iajs-2377	193	13	(	(	PUNCT
iajs-2377	193	14	15	15	NUM
iajs-2377	193	15	)	)	PUNCT
iajs-2377	193	16	and	and	CCONJ
iajs-2377	193	17	(	(	PUNCT
iajs-2377	193	18	16	16	NUM
iajs-2377	193	19	)	)	PUNCT
iajs-2377	193	20	we	we	PRON
iajs-2377	193	21	get	get	VERB
iajs-2377	193	22	(	(	PUNCT
iajs-2377	193	23	)	)	PUNCT
iajs-2377	193	24	(	(	PUNCT
iajs-2377	193	25	)	)	PUNCT
iajs-2377	194	1	|	|	ADV
iajs-2377	194	2	|	|	ADV
iajs-2377	194	3	(	(	PUNCT
iajs-2377	194	4	)	)	PUNCT
iajs-2377	194	5	|	|	ADV
iajs-2377	194	6	|	|	ADV
iajs-2377	194	7	.	.	PUNCT
iajs-2377	194	8	/	/	PUNCT
iajs-2377	195	1	(	(	PUNCT
iajs-2377	195	2	(	(	PUNCT
iajs-2377	195	3	)	)	PUNCT
iajs-2377	195	4	*	*	PUNCT
iajs-2377	195	5	therefore	therefore	ADV
iajs-2377	195	6	|	|	ADV
iajs-2377	195	7	|	|	ADV
iajs-2377	195	8	(	(	PUNCT
iajs-2377	195	9	.	.	PUNCT
iajs-2377	195	10	/	/	PUNCT
iajs-2377	195	11	(	(	PUNCT
iajs-2377	195	12	(	(	PUNCT
iajs-2377	195	13	)	)	PUNCT
iajs-2377	195	14	*	*	PUNCT
iajs-2377	196	1	+	+	CCONJ
iajs-2377	196	2	the	the	DET
iajs-2377	196	3	definitions	definition	NOUN
iajs-2377	196	4	given	give	VERB
iajs-2377	196	5	below	below	ADP
iajs-2377	196	6	are	be	AUX
iajs-2377	196	7	of	of	ADP
iajs-2377	196	8	the	the	DET
iajs-2377	196	9	fractional	fractional	ADJ
iajs-2377	196	10	calculus	calculus	NOUN
iajs-2377	196	11	studied	study	VERB
iajs-2377	196	12	by	by	ADP
iajs-2377	196	13	,	,	PUNCT
iajs-2377	196	14	s.	s.	PROPN
iajs-2377	196	15	ruscheweyh	ruscheweyh	VERB
iajs-2377	197	1	[	[	X
iajs-2377	197	2	4	4	NUM
iajs-2377	197	3	]	]	PUNCT
iajs-2377	197	4	.	.	PUNCT
iajs-2377	198	1	definition	definition	NOUN
iajs-2377	198	2	5	5	NUM
iajs-2377	198	3	[	[	X
iajs-2377	198	4	6	6	NUM
iajs-2377	198	5	]	]	X
iajs-2377	198	6	:	:	PUNCT
iajs-2377	198	7	for	for	ADP
iajs-2377	198	8	a	a	DET
iajs-2377	198	9	function	function	NOUN
iajs-2377	198	10	f	f	X
iajs-2377	198	11	(	(	PUNCT
iajs-2377	198	12	)	)	PUNCT
iajs-2377	198	13	which	which	PRON
iajs-2377	198	14	is	be	AUX
iajs-2377	198	15	analytic	analytic	ADJ
iajs-2377	198	16	function	function	NOUN
iajs-2377	198	17	in	in	ADP
iajs-2377	198	18	plane	plane	NOUN
iajs-2377	198	19	containing	contain	VERB
iajs-2377	198	20	the	the	DET
iajs-2377	198	21	origin	origin	NOUN
iajs-2377	198	22	which	which	PRON
iajs-2377	198	23	is	be	AUX
iajs-2377	198	24	a	a	DET
iajs-2377	198	25	simply	simply	ADV
iajs-2377	198	26	connected	connected	ADJ
iajs-2377	198	27	region	region	NOUN
iajs-2377	198	28	,	,	PUNCT
iajs-2377	198	29	we	we	PRON
iajs-2377	198	30	define	define	VERB
iajs-2377	198	31	the	the	DET
iajs-2377	198	32	fractional	fractional	ADJ
iajs-2377	198	33	integral	integral	NOUN
iajs-2377	198	34	of	of	ADP
iajs-2377	198	35	order	order	NOUN
iajs-2377	198	36	as	as	ADP
iajs-2377	198	37	(	(	PUNCT
iajs-2377	198	38	)	)	PUNCT
iajs-2377	198	39	(	(	PUNCT
iajs-2377	198	40	)	)	PUNCT
iajs-2377	198	41	∫	∫	PROPN
iajs-2377	198	42	(	(	PUNCT
iajs-2377	198	43	)	)	PUNCT
iajs-2377	198	44	(	(	PUNCT
iajs-2377	198	45	)	)	PUNCT
iajs-2377	198	46	definition	definition	NOUN
iajs-2377	198	47	6	6	NUM
iajs-2377	198	48	:	:	PUNCT
iajs-2377	198	49	for	for	ADP
iajs-2377	198	50	a	a	DET
iajs-2377	198	51	function	function	NOUN
iajs-2377	198	52	(	(	PUNCT
iajs-2377	198	53	)	)	PUNCT
iajs-2377	198	54	which	which	PRON
iajs-2377	198	55	is	be	AUX
iajs-2377	198	56	analytic	analytic	ADJ
iajs-2377	198	57	function	function	NOUN
iajs-2377	198	58	in	in	ADP
iajs-2377	198	59	plane	plane	NOUN
iajs-2377	198	60	containing	contain	VERB
iajs-2377	198	61	the	the	DET
iajs-2377	198	62	origin	origin	NOUN
iajs-2377	198	63	which	which	PRON
iajs-2377	198	64	is	be	AUX
iajs-2377	198	65	a	a	DET
iajs-2377	198	66	simply	simply	ADV
iajs-2377	198	67	connected	connected	ADJ
iajs-2377	198	68	region	region	NOUN
iajs-2377	198	69	,	,	PUNCT
iajs-2377	198	70	we	we	PRON
iajs-2377	198	71	define	define	VERB
iajs-2377	198	72	the	the	DET
iajs-2377	198	73	fractional	fractional	ADJ
iajs-2377	198	74	integral	integral	NOUN
iajs-2377	198	75	of	of	ADP
iajs-2377	198	76	order	order	NOUN
iajs-2377	198	77	as	as	SCONJ
iajs-2377	198	78	(	(	PUNCT
iajs-2377	198	79	)	)	PUNCT
iajs-2377	198	80	(	(	PUNCT
iajs-2377	198	81	)	)	PUNCT
iajs-2377	198	82	∫	∫	PROPN
iajs-2377	198	83	(	(	PUNCT
iajs-2377	198	84	)	)	PUNCT
iajs-2377	198	85	(	(	PUNCT
iajs-2377	198	86	)	)	PUNCT
iajs-2377	198	87	theorem	theorem	VERB
iajs-2377	198	88	16	16	NUM
iajs-2377	198	89	:	:	PUNCT
iajs-2377	198	90	let	let	VERB
iajs-2377	198	91	(	(	PUNCT
iajs-2377	198	92	)	)	PUNCT
iajs-2377	198	93	then	then	ADV
iajs-2377	198	94	(	(	PUNCT
iajs-2377	198	95	)	)	PUNCT
iajs-2377	198	96	(	(	PUNCT
iajs-2377	198	97	)	)	PUNCT
iajs-2377	198	98	|	|	ADV
iajs-2377	198	99	|	|	ADV
iajs-2377	198	100	4	4	NUM
iajs-2377	198	101	(	(	PUNCT
iajs-2377	198	102	)	)	PUNCT
iajs-2377	198	103	(	(	PUNCT
iajs-2377	198	104	)	)	PUNCT
iajs-2377	198	105	(	(	PUNCT
iajs-2377	198	106	)	)	PUNCT
iajs-2377	198	107	|	|	ADV
iajs-2377	198	108	|5	|5	NUM
iajs-2377	199	1	|	|	ADV
iajs-2377	199	2	(	(	PUNCT
iajs-2377	199	3	)	)	PUNCT
iajs-2377	199	4	|	|	ADV
iajs-2377	199	5	(	(	PUNCT
iajs-2377	199	6	)	)	PUNCT
iajs-2377	199	7	(	(	PUNCT
iajs-2377	199	8	)	)	PUNCT
iajs-2377	199	9	|	|	ADV
iajs-2377	199	10	|	|	ADV
iajs-2377	199	11	4	4	NUM
iajs-2377	199	12	(	(	PUNCT
iajs-2377	199	13	)	)	PUNCT
iajs-2377	199	14	(	(	PUNCT
iajs-2377	199	15	)	)	PUNCT
iajs-2377	199	16	(	(	PUNCT
iajs-2377	199	17	)	)	PUNCT
iajs-2377	200	1	|	|	ADV
iajs-2377	200	2	|5	|5	NUM
iajs-2377	200	3	(	(	PUNCT
iajs-2377	200	4	)	)	PUNCT
iajs-2377	200	5	proof	proof	NOUN
iajs-2377	200	6	:	:	PUNCT
iajs-2377	200	7	from	from	ADP
iajs-2377	200	8	definition	definition	NOUN
iajs-2377	200	9	5	5	NUM
iajs-2377	200	10	we	we	PRON
iajs-2377	200	11	have	have	VERB
iajs-2377	200	12	(	(	PUNCT
iajs-2377	200	13	)	)	PUNCT
iajs-2377	200	14	(	(	PUNCT
iajs-2377	200	15	)	)	PUNCT
iajs-2377	200	16	(	(	PUNCT
iajs-2377	200	17	)	)	PUNCT
iajs-2377	200	18	∑	∑	PROPN
iajs-2377	200	19	(	(	PUNCT
iajs-2377	200	20	)	)	PUNCT
iajs-2377	200	21	(	(	PUNCT
iajs-2377	200	22	)	)	PUNCT
iajs-2377	200	23	(	(	PUNCT
iajs-2377	200	24	18	18	NUM
iajs-2377	200	25	)	)	PUNCT
iajs-2377	200	26	let	let	VERB
iajs-2377	200	27	(	(	PUNCT
iajs-2377	200	28	)	)	PUNCT
iajs-2377	200	29	(	(	PUNCT
iajs-2377	200	30	)	)	PUNCT
iajs-2377	200	31	(	(	PUNCT
iajs-2377	200	32	)	)	PUNCT
iajs-2377	200	33	clearly	clearly	ADV
iajs-2377	200	34	(	(	PUNCT
iajs-2377	200	35	)	)	PUNCT
iajs-2377	200	36	is	be	AUX
iajs-2377	200	37	non	non	ADJ
iajs-2377	200	38	–	–	PUNCT
iajs-2377	200	39	increasing	increase	VERB
iajs-2377	200	40	function	function	NOUN
iajs-2377	200	41	of	of	ADP
iajs-2377	200	42	n	n	PROPN
iajs-2377	200	43	,	,	PUNCT
iajs-2377	200	44	(	(	PUNCT
iajs-2377	200	45	)	)	PUNCT
iajs-2377	200	46	(	(	PUNCT
iajs-2377	200	47	)	)	PUNCT
iajs-2377	200	48	(	(	PUNCT
iajs-2377	200	49	)	)	PUNCT
iajs-2377	200	50	(	(	PUNCT
iajs-2377	200	51	)	)	PUNCT
iajs-2377	200	52	from	from	ADP
iajs-2377	200	53	theorem	theorem	NOUN
iajs-2377	200	54	1	1	NUM
iajs-2377	200	55	we	we	PRON
iajs-2377	200	56	have	have	AUX
iajs-2377	200	57	∑	∑	ADV
iajs-2377	200	58	|	|	ADV
iajs-2377	200	59	|	|	ADV
iajs-2377	200	60	(	(	PUNCT
iajs-2377	200	61	)	)	PUNCT
iajs-2377	200	62	(	(	PUNCT
iajs-2377	200	63	19	19	NUM
iajs-2377	200	64	)	)	PUNCT
iajs-2377	200	65	from	from	ADP
iajs-2377	200	66	(	(	PUNCT
iajs-2377	200	67	18	18	NUM
iajs-2377	200	68	)	)	PUNCT
iajs-2377	200	69	and	and	CCONJ
iajs-2377	200	70	(	(	PUNCT
iajs-2377	200	71	19	19	NUM
iajs-2377	200	72	)	)	PUNCT
iajs-2377	200	73	it	it	PRON
iajs-2377	200	74	follows	follow	VERB
iajs-2377	200	75	that	that	SCONJ
iajs-2377	200	76	015	015	NUM
iajs-2377	200	77	ibn	ibn	PROPN
iajs-2377	200	78	al	al	PROPN
iajs-2377	200	79	-	-	PUNCT
iajs-2377	200	80	haitham	haitham	PROPN
iajs-2377	200	81	jour	jour	X
iajs-2377	200	82	.	.	PROPN
iajs-2377	201	1	for	for	ADP
iajs-2377	201	2	pure	pure	ADJ
iajs-2377	201	3	&	&	CCONJ
iajs-2377	201	4	appl	appl	PROPN
iajs-2377	201	5	.	.	PUNCT
iajs-2377	202	1	sci	sci	PROPN
iajs-2377	202	2	.	.	PROPN
iajs-2377	203	1	33	33	NUM
iajs-2377	203	2	(	(	PUNCT
iajs-2377	203	3	1	1	NUM
iajs-2377	203	4	)	)	PUNCT
iajs-2377	203	5	2020	2020	NUM
iajs-2377	204	1	|	|	ADV
iajs-2377	204	2	(	(	PUNCT
iajs-2377	204	3	)	)	PUNCT
iajs-2377	204	4	|	|	ADV
iajs-2377	205	1	|	|	ADV
iajs-2377	205	2	|	|	INTJ
iajs-2377	205	3	(	(	PUNCT
iajs-2377	205	4	(	(	PUNCT
iajs-2377	205	5	)	)	PUNCT
iajs-2377	205	6	(	(	PUNCT
iajs-2377	205	7	)	)	PUNCT
iajs-2377	205	8	(	(	PUNCT
iajs-2377	205	9	)	)	PUNCT
iajs-2377	205	10	|	|	ADV
iajs-2377	206	1	|	|	ADV
iajs-2377	206	2	∑	∑	INTJ
iajs-2377	206	3	|	|	ADV
iajs-2377	206	4	|	|	ADV
iajs-2377	206	5	)	)	PUNCT
iajs-2377	206	6	(	(	PUNCT
iajs-2377	206	7	)	)	PUNCT
iajs-2377	206	8	(	(	PUNCT
iajs-2377	206	9	)	)	PUNCT
iajs-2377	206	10	|	|	ADV
iajs-2377	206	11	|	|	ADV
iajs-2377	206	12	4	4	NUM
iajs-2377	206	13	(	(	PUNCT
iajs-2377	206	14	)	)	PUNCT
iajs-2377	206	15	(	(	PUNCT
iajs-2377	206	16	)	)	PUNCT
iajs-2377	206	17	(	(	PUNCT
iajs-2377	206	18	)	)	PUNCT
iajs-2377	206	19	|	|	ADV
iajs-2377	206	20	|5	|5	NUM
iajs-2377	206	21	similarly	similarly	ADV
iajs-2377	206	22	|	|	ADV
iajs-2377	206	23	(	(	PUNCT
iajs-2377	206	24	)	)	PUNCT
iajs-2377	206	25	|	|	ADV
iajs-2377	207	1	|	|	ADV
iajs-2377	207	2	|	|	INTJ
iajs-2377	207	3	(	(	PUNCT
iajs-2377	207	4	(	(	PUNCT
iajs-2377	207	5	)	)	PUNCT
iajs-2377	207	6	(	(	PUNCT
iajs-2377	207	7	)	)	PUNCT
iajs-2377	207	8	(	(	PUNCT
iajs-2377	207	9	)	)	PUNCT
iajs-2377	207	10	|	|	ADV
iajs-2377	208	1	|	|	ADV
iajs-2377	208	2	∑	∑	INTJ
iajs-2377	208	3	|	|	ADV
iajs-2377	208	4	|	|	ADV
iajs-2377	208	5	)	)	PUNCT
iajs-2377	208	6	(	(	PUNCT
iajs-2377	208	7	)	)	PUNCT
iajs-2377	208	8	(	(	PUNCT
iajs-2377	208	9	)	)	PUNCT
iajs-2377	208	10	|	|	ADV
iajs-2377	208	11	|	|	ADV
iajs-2377	208	12	4	4	NUM
iajs-2377	208	13	(	(	PUNCT
iajs-2377	208	14	)	)	PUNCT
iajs-2377	208	15	(	(	PUNCT
iajs-2377	208	16	)	)	PUNCT
iajs-2377	208	17	(	(	PUNCT
iajs-2377	208	18	)	)	PUNCT
iajs-2377	208	19	|	|	ADV
iajs-2377	208	20	|5	|5	NUM
iajs-2377	208	21	this	this	PRON
iajs-2377	208	22	proves	prove	VERB
iajs-2377	208	23	the	the	DET
iajs-2377	208	24	theorem	theorem	NOUN
iajs-2377	208	25	theorem	theorem	ADJ
iajs-2377	208	26	17	17	NUM
iajs-2377	208	27	:	:	PUNCT
iajs-2377	208	28	let	let	VERB
iajs-2377	208	29	(	(	PUNCT
iajs-2377	208	30	)	)	PUNCT
iajs-2377	208	31	then	then	ADV
iajs-2377	208	32	(	(	PUNCT
iajs-2377	208	33	)	)	PUNCT
iajs-2377	208	34	(	(	PUNCT
iajs-2377	208	35	)	)	PUNCT
iajs-2377	209	1	|	|	ADV
iajs-2377	209	2	|	|	ADV
iajs-2377	209	3	4	4	NUM
iajs-2377	209	4	(	(	PUNCT
iajs-2377	209	5	)	)	PUNCT
iajs-2377	209	6	(	(	PUNCT
iajs-2377	209	7	)	)	PUNCT
iajs-2377	209	8	(	(	PUNCT
iajs-2377	209	9	)	)	PUNCT
iajs-2377	209	10	|	|	ADV
iajs-2377	209	11	|5	|5	NUM
iajs-2377	210	1	|	|	ADV
iajs-2377	210	2	(	(	PUNCT
iajs-2377	210	3	)	)	PUNCT
iajs-2377	210	4	|	|	ADV
iajs-2377	210	5	(	(	PUNCT
iajs-2377	210	6	)	)	PUNCT
iajs-2377	210	7	(	(	PUNCT
iajs-2377	210	8	)	)	PUNCT
iajs-2377	210	9	|	|	ADV
iajs-2377	210	10	|	|	ADV
iajs-2377	210	11	4	4	NUM
iajs-2377	210	12	(	(	PUNCT
iajs-2377	210	13	)	)	PUNCT
iajs-2377	210	14	(	(	PUNCT
iajs-2377	210	15	)	)	PUNCT
iajs-2377	210	16	(	(	PUNCT
iajs-2377	210	17	)	)	PUNCT
iajs-2377	211	1	|	|	ADV
iajs-2377	211	2	|5	|5	NUM
iajs-2377	211	3	(	(	PUNCT
iajs-2377	211	4	)	)	PUNCT
iajs-2377	211	5	proof	proof	NOUN
iajs-2377	211	6	:	:	PUNCT
iajs-2377	211	7	from	from	ADP
iajs-2377	211	8	definition	definition	NOUN
iajs-2377	211	9	6	6	NUM
iajs-2377	211	10	we	we	PRON
iajs-2377	211	11	have	have	AUX
iajs-2377	211	12	(	(	PUNCT
iajs-2377	211	13	)	)	PUNCT
iajs-2377	211	14	(	(	PUNCT
iajs-2377	211	15	)	)	PUNCT
iajs-2377	211	16	(	(	PUNCT
iajs-2377	211	17	)	)	PUNCT
iajs-2377	211	18	∑	∑	PROPN
iajs-2377	211	19	(	(	PUNCT
iajs-2377	211	20	)	)	PUNCT
iajs-2377	211	21	(	(	PUNCT
iajs-2377	211	22	)	)	PUNCT
iajs-2377	211	23	(	(	PUNCT
iajs-2377	211	24	21	21	NUM
iajs-2377	211	25	)	)	PUNCT
iajs-2377	211	26	let	let	VERB
iajs-2377	211	27	(	(	PUNCT
iajs-2377	211	28	)	)	PUNCT
iajs-2377	211	29	(	(	PUNCT
iajs-2377	211	30	)	)	PUNCT
iajs-2377	211	31	(	(	PUNCT
iajs-2377	211	32	)	)	PUNCT
iajs-2377	211	33	clearly	clearly	ADV
iajs-2377	211	34	(	(	PUNCT
iajs-2377	211	35	)	)	PUNCT
iajs-2377	211	36	is	be	AUX
iajs-2377	211	37	non	non	ADJ
iajs-2377	211	38	–	–	PUNCT
iajs-2377	211	39	increasing	increase	VERB
iajs-2377	211	40	function	function	NOUN
iajs-2377	211	41	of	of	ADP
iajs-2377	211	42	n	n	PROPN
iajs-2377	211	43	,	,	PUNCT
iajs-2377	211	44	(	(	PUNCT
iajs-2377	211	45	)	)	PUNCT
iajs-2377	211	46	(	(	PUNCT
iajs-2377	211	47	)	)	PUNCT
iajs-2377	211	48	(	(	PUNCT
iajs-2377	211	49	)	)	PUNCT
iajs-2377	211	50	(	(	PUNCT
iajs-2377	211	51	)	)	PUNCT
iajs-2377	211	52	from	from	ADP
iajs-2377	211	53	theorem	theorem	NOUN
iajs-2377	211	54	1	1	NUM
iajs-2377	211	55	we	we	PRON
iajs-2377	211	56	have	have	VERB
iajs-2377	211	57	∑	∑	ADV
iajs-2377	212	1	|	|	ADV
iajs-2377	212	2	|	|	ADV
iajs-2377	212	3	(	(	PUNCT
iajs-2377	212	4	)	)	PUNCT
iajs-2377	212	5	…	…	PUNCT
iajs-2377	212	6	…	…	PUNCT
iajs-2377	212	7	(	(	PUNCT
iajs-2377	212	8	22	22	NUM
iajs-2377	212	9	)	)	PUNCT
iajs-2377	212	10	from	from	ADP
iajs-2377	212	11	(	(	PUNCT
iajs-2377	212	12	21	21	NUM
iajs-2377	212	13	)	)	PUNCT
iajs-2377	212	14	and	and	CCONJ
iajs-2377	212	15	(	(	PUNCT
iajs-2377	212	16	22	22	NUM
iajs-2377	212	17	)	)	PUNCT
iajs-2377	212	18	it	it	PRON
iajs-2377	212	19	follows	follow	VERB
iajs-2377	212	20	that	that	SCONJ
iajs-2377	212	21	|	|	INTJ
iajs-2377	212	22	(	(	PUNCT
iajs-2377	212	23	)	)	PUNCT
iajs-2377	213	1	|	|	ADV
iajs-2377	213	2	|	|	ADV
iajs-2377	213	3	|	|	ADV
iajs-2377	213	4	.	.	PUNCT
iajs-2377	214	1	(	(	PUNCT
iajs-2377	214	2	)	)	PUNCT
iajs-2377	214	3	(	(	PUNCT
iajs-2377	214	4	)	)	PUNCT
iajs-2377	214	5	(	(	PUNCT
iajs-2377	214	6	)	)	PUNCT
iajs-2377	214	7	|	|	ADV
iajs-2377	214	8	|∑	|∑	VERB
iajs-2377	214	9	|	|	ADV
iajs-2377	214	10	|	|	ADV
iajs-2377	214	11	/	/	SYM
iajs-2377	214	12	(	(	PUNCT
iajs-2377	214	13	)	)	PUNCT
iajs-2377	214	14	(	(	PUNCT
iajs-2377	214	15	)	)	PUNCT
iajs-2377	215	1	|	|	ADV
iajs-2377	215	2	|	|	ADV
iajs-2377	215	3	4	4	NUM
iajs-2377	215	4	(	(	PUNCT
iajs-2377	215	5	)	)	PUNCT
iajs-2377	215	6	(	(	PUNCT
iajs-2377	215	7	)	)	PUNCT
iajs-2377	215	8	(	(	PUNCT
iajs-2377	215	9	)	)	PUNCT
iajs-2377	216	1	|	|	ADV
iajs-2377	216	2	|5	|5	NUM
iajs-2377	216	3	similarly	similarly	ADV
iajs-2377	216	4	|	|	ADV
iajs-2377	216	5	(	(	PUNCT
iajs-2377	216	6	)	)	PUNCT
iajs-2377	216	7	|	|	ADV
iajs-2377	216	8	|	|	ADV
iajs-2377	216	9	|	|	ADV
iajs-2377	216	10	.	.	PUNCT
iajs-2377	217	1	(	(	PUNCT
iajs-2377	217	2	)	)	PUNCT
iajs-2377	217	3	(	(	PUNCT
iajs-2377	217	4	)	)	PUNCT
iajs-2377	217	5	(	(	PUNCT
iajs-2377	217	6	)	)	PUNCT
iajs-2377	217	7	|	|	ADV
iajs-2377	217	8	|∑	|∑	VERB
iajs-2377	217	9	|	|	ADV
iajs-2377	217	10	|	|	ADV
iajs-2377	217	11	/	/	SYM
iajs-2377	217	12	(	(	PUNCT
iajs-2377	217	13	)	)	PUNCT
iajs-2377	217	14	(	(	PUNCT
iajs-2377	217	15	)	)	PUNCT
iajs-2377	218	1	|	|	ADV
iajs-2377	218	2	|	|	ADV
iajs-2377	218	3	4	4	NUM
iajs-2377	218	4	(	(	PUNCT
iajs-2377	218	5	)	)	PUNCT
iajs-2377	218	6	(	(	PUNCT
iajs-2377	218	7	)	)	PUNCT
iajs-2377	218	8	(	(	PUNCT
iajs-2377	218	9	)	)	PUNCT
iajs-2377	219	1	|	|	ADV
iajs-2377	219	2	|5	|5	NUM
iajs-2377	219	3	016	016	NUM
iajs-2377	220	1	ibn	ibn	PROPN
iajs-2377	220	2	al	al	PROPN
iajs-2377	220	3	-	-	PUNCT
iajs-2377	220	4	haitham	haitham	PROPN
iajs-2377	220	5	jour	jour	X
iajs-2377	220	6	.	.	PROPN
iajs-2377	220	7	for	for	ADP
iajs-2377	220	8	pure	pure	ADJ
iajs-2377	220	9	&	&	CCONJ
iajs-2377	220	10	appl	appl	PROPN
iajs-2377	220	11	.	.	PUNCT
iajs-2377	221	1	sci	sci	PROPN
iajs-2377	221	2	.	.	PROPN
iajs-2377	222	1	33	33	NUM
iajs-2377	222	2	(	(	PUNCT
iajs-2377	222	3	1	1	NUM
iajs-2377	222	4	)	)	PUNCT
iajs-2377	222	5	2020	2020	NUM
iajs-2377	222	6	conclusions	conclusion	VERB
iajs-2377	222	7	the	the	DET
iajs-2377	222	8	main	main	ADJ
iajs-2377	222	9	impact	impact	NOUN
iajs-2377	222	10	of	of	ADP
iajs-2377	222	11	this	this	DET
iajs-2377	222	12	research	research	NOUN
iajs-2377	222	13	work	work	NOUN
iajs-2377	222	14	is	be	AUX
iajs-2377	222	15	to	to	PART
iajs-2377	222	16	motivate	motivate	VERB
iajs-2377	222	17	to	to	PART
iajs-2377	222	18	construct	construct	VERB
iajs-2377	222	19	new	new	ADJ
iajs-2377	222	20	subclasses	subclass	NOUN
iajs-2377	222	21	of	of	ADP
iajs-2377	222	22	holomorphic	holomorphic	ADJ
iajs-2377	222	23	(	(	PUNCT
iajs-2377	222	24	or	or	CCONJ
iajs-2377	222	25	analytic	analytic	ADJ
iajs-2377	222	26	)	)	PUNCT
iajs-2377	222	27	multivalent	multivalent	NOUN
iajs-2377	222	28	functions	function	NOUN
iajs-2377	222	29	belonging	belong	VERB
iajs-2377	222	30	the	the	DET
iajs-2377	222	31	disk	disk	NOUN
iajs-2377	222	32	and	and	CCONJ
iajs-2377	222	33	study	study	VERB
iajs-2377	222	34	their	their	PRON
iajs-2377	222	35	various	various	ADJ
iajs-2377	222	36	geometrical	geometrical	ADJ
iajs-2377	222	37	properties	property	NOUN
iajs-2377	222	38	.	.	PUNCT
iajs-2377	223	1	we	we	PRON
iajs-2377	223	2	have	have	AUX
iajs-2377	223	3	derived	derive	VERB
iajs-2377	223	4	new	new	ADJ
iajs-2377	223	5	sub	sub	NOUN
iajs-2377	223	6	classes	class	NOUN
iajs-2377	223	7	of	of	ADP
iajs-2377	223	8	meromorphic	meromorphic	ADJ
iajs-2377	223	9	(	(	PUNCT
iajs-2377	223	10	analytic	analytic	ADJ
iajs-2377	223	11	except	except	SCONJ
iajs-2377	223	12	for	for	ADP
iajs-2377	223	13	isolated	isolated	ADJ
iajs-2377	223	14	singularities	singularity	NOUN
iajs-2377	223	15	i.	i.	PROPN
iajs-2377	223	16	e.	e.	PROPN
iajs-2377	223	17	poles	poles	PROPN
iajs-2377	223	18	)	)	PUNCT
iajs-2377	223	19	holomorphic	holomorphic	NOUN
iajs-2377	223	20	(	(	PUNCT
iajs-2377	223	21	an	an	DET
iajs-2377	223	22	analytic	analytic	ADJ
iajs-2377	223	23	)	)	PUNCT
iajs-2377	223	24	multivalent	multivalent	NOUN
iajs-2377	223	25	functions	function	NOUN
iajs-2377	223	26	in	in	ADP
iajs-2377	223	27	the	the	DET
iajs-2377	223	28	punctured	punctured	ADJ
iajs-2377	223	29	disk	disk	NOUN
iajs-2377	223	30	.	.	PUNCT
iajs-2377	224	1	the	the	DET
iajs-2377	224	2	well	well	ADV
iajs-2377	224	3	-	-	PUNCT
iajs-2377	224	4	known	know	VERB
iajs-2377	224	5	properties	property	NOUN
iajs-2377	224	6	like	like	ADP
iajs-2377	224	7	distortion	distortion	NOUN
iajs-2377	224	8	theorem	theorem	VERB
iajs-2377	224	9	,	,	PUNCT
iajs-2377	224	10	radii	radius	NOUN
iajs-2377	224	11	of	of	ADP
iajs-2377	224	12	star	star	NOUN
iajs-2377	224	13	likeness	likeness	NOUN
iajs-2377	224	14	,	,	PUNCT
iajs-2377	224	15	coefficient	coefficient	NOUN
iajs-2377	224	16	inequalities	inequality	NOUN
iajs-2377	224	17	and	and	CCONJ
iajs-2377	224	18	convexity	convexity	NOUN
iajs-2377	224	19	etc	etc	X
iajs-2377	224	20	.	.	X
iajs-2377	224	21	by	by	ADP
iajs-2377	224	22	using	use	VERB
iajs-2377	224	23	subordination	subordination	NOUN
iajs-2377	224	24	.	.	PUNCT
iajs-2377	225	1	references	reference	NOUN
iajs-2377	225	2	1	1	NUM
iajs-2377	225	3	.	.	PUNCT
iajs-2377	226	1	miller	miller	PROPN
iajs-2377	226	2	,	,	PUNCT
iajs-2377	226	3	s.s	s.s	PROPN
iajs-2377	226	4	.	.	PROPN
iajs-2377	226	5	;	;	PUNCT
iajs-2377	226	6	mocanu	mocanu	PROPN
iajs-2377	226	7	,	,	PUNCT
iajs-2377	226	8	p.t	p.t	PROPN
iajs-2377	226	9	.	.	PROPN
iajs-2377	226	10	differential	differential	ADJ
iajs-2377	226	11	subordinations	subordination	NOUN
iajs-2377	226	12	and	and	CCONJ
iajs-2377	226	13	univalent	univalent	ADJ
iajs-2377	226	14	functions	function	NOUN
iajs-2377	226	15	.	.	PUNCT
iajs-2377	227	1	michigan	michigan	PROPN
iajs-2377	227	2	math	math	PROPN
iajs-2377	227	3	.	.	PUNCT
iajs-2377	228	1	j.1981	j.1981	X
iajs-2377	228	2	,	,	PUNCT
iajs-2377	228	3	28	28	NUM
iajs-2377	228	4	,	,	PUNCT
iajs-2377	228	5	157–171	157–171	NUM
iajs-2377	228	6	.	.	PUNCT
iajs-2377	229	1	2	2	NUM
iajs-2377	229	2	.	.	X
iajs-2377	229	3	miller	miller	PROPN
iajs-2377	229	4	,	,	PUNCT
iajs-2377	229	5	s.s	s.s	PROPN
iajs-2377	229	6	.	.	PROPN
iajs-2377	229	7	;	;	PUNCT
iajs-2377	229	8	mocanu	mocanu	PROPN
iajs-2377	229	9	,	,	PUNCT
iajs-2377	229	10	p.t	p.t	PROPN
iajs-2377	229	11	.	.	PROPN
iajs-2377	229	12	differential	differential	ADJ
iajs-2377	229	13	subordination	subordination	NOUN
iajs-2377	229	14	:	:	PUNCT
iajs-2377	229	15	theory	theory	NOUN
iajs-2377	229	16	and	and	CCONJ
iajs-2377	229	17	applications	application	NOUN
iajs-2377	229	18	.	.	PUNCT
iajs-2377	230	1	monographs	monograph	NOUN
iajs-2377	230	2	and	and	CCONJ
iajs-2377	230	3	textbooks	textbook	NOUN
iajs-2377	230	4	in	in	ADP
iajs-2377	230	5	pure	pure	ADJ
iajs-2377	230	6	and	and	CCONJ
iajs-2377	230	7	applied	apply	VERB
iajs-2377	230	8	mathematics.2000	mathematics.2000	PROPN
iajs-2377	230	9	,	,	PUNCT
iajs-2377	230	10	225	225	NUM
iajs-2377	230	11	,	,	PUNCT
iajs-2377	230	12	31	31	NUM
iajs-2377	230	13	-	-	SYM
iajs-2377	230	14	39	39	NUM
iajs-2377	230	15	.	.	PUNCT
iajs-2377	231	1	3	3	X
iajs-2377	231	2	.	.	X
iajs-2377	231	3	ruscheweyh	ruscheweyh	NOUN
iajs-2377	231	4	,	,	PUNCT
iajs-2377	231	5	s.	s.	PROPN
iajs-2377	231	6	new	new	ADJ
iajs-2377	231	7	criteria	criterion	NOUN
iajs-2377	231	8	for	for	ADP
iajs-2377	231	9	univalent	univalent	ADJ
iajs-2377	231	10	functions	function	NOUN
iajs-2377	231	11	.	.	PUNCT
iajs-2377	232	1	proc	proc	NOUN
iajs-2377	232	2	.	.	PUNCT
iajs-2377	233	1	amer	amer	PROPN
iajs-2377	233	2	.	.	PUNCT
iajs-2377	233	3	math	math	PROPN
iajs-2377	233	4	.	.	PUNCT
iajs-2377	234	1	soc.1975	soc.1975	PROPN
iajs-2377	234	2	,	,	PUNCT
iajs-2377	234	3	49	49	NUM
iajs-2377	234	4	,	,	PUNCT
iajs-2377	234	5	109–115	109–115	NUM
iajs-2377	234	6	.	.	PUNCT
iajs-2377	235	1	4	4	X
iajs-2377	235	2	.	.	X
iajs-2377	235	3	saitoh	saitoh	PROPN
iajs-2377	235	4	,	,	PUNCT
iajs-2377	235	5	h.	h.	PROPN
iajs-2377	235	6	a	a	DET
iajs-2377	235	7	linear	linear	ADJ
iajs-2377	235	8	operator	operator	NOUN
iajs-2377	235	9	and	and	CCONJ
iajs-2377	235	10	its	its	PRON
iajs-2377	235	11	applications	application	NOUN
iajs-2377	235	12	of	of	ADP
iajs-2377	235	13	first	first	ADJ
iajs-2377	235	14	order	order	NOUN
iajs-2377	235	15	differential	differential	ADJ
iajs-2377	235	16	subordinations	subordination	NOUN
iajs-2377	235	17	.	.	PUNCT
iajs-2377	236	1	math	math	NOUN
iajs-2377	236	2	.	.	PUNCT
iajs-2377	237	1	japon.1996	japon.1996	PROPN
iajs-2377	237	2	,	,	PUNCT
iajs-2377	237	3	44	44	NUM
iajs-2377	237	4	,	,	PUNCT
iajs-2377	237	5	31–38	31–38	NUM
iajs-2377	237	6	.	.	NOUN
iajs-2377	237	7	5	5	NUM
iajs-2377	237	8	.	.	X
iajs-2377	237	9	piejko	piejko	PROPN
iajs-2377	237	10	,	,	PUNCT
iajs-2377	237	11	k.	k.	PROPN
iajs-2377	237	12	;	;	PUNCT
iajs-2377	237	13	sokol	sokol	PROPN
iajs-2377	237	14	,	,	PUNCT
iajs-2377	237	15	j.	j.	PROPN
iajs-2377	237	16	on	on	ADP
iajs-2377	237	17	the	the	DET
iajs-2377	237	18	dziok	dziok	NOUN
iajs-2377	237	19	-	-	PUNCT
iajs-2377	237	20	srivastava	srivastava	PROPN
iajs-2377	237	21	operator	operator	NOUN
iajs-2377	237	22	under	under	ADP
iajs-2377	237	23	multivalent	multivalent	NOUN
iajs-2377	237	24	analytic	analytic	ADJ
iajs-2377	237	25	functions	function	NOUN
iajs-2377	237	26	.	.	PUNCT
iajs-2377	238	1	appl	appl	PROPN
iajs-2377	238	2	.	.	PROPN
iajs-2377	238	3	math	math	PROPN
iajs-2377	238	4	.	.	PUNCT
iajs-2377	239	1	and	and	CCONJ
iajs-2377	239	2	compution.2006	compution.2006	PROPN
iajs-2377	239	3	,	,	PUNCT
iajs-2377	239	4	177	177	NUM
iajs-2377	239	5	,	,	PUNCT
iajs-2377	239	6	839	839	NUM
iajs-2377	239	7	-	-	SYM
iajs-2377	239	8	843	843	NUM
iajs-2377	239	9	.	.	NOUN
iajs-2377	239	10	6	6	NUM
iajs-2377	239	11	.	.	PUNCT
iajs-2377	240	1	jabber	jabber	PROPN
iajs-2377	240	2	,	,	PUNCT
iajs-2377	240	3	a.k	a.k	PROPN
iajs-2377	240	4	.	.	PROPN
iajs-2377	240	5	;	;	PUNCT
iajs-2377	240	6	tawfiq	tawfiq	PROPN
iajs-2377	240	7	,	,	PUNCT
iajs-2377	240	8	l.n.m	l.n.m	NOUN
iajs-2377	240	9	.	.	PUNCT
iajs-2377	241	1	new	new	ADJ
iajs-2377	241	2	transform	transform	VERB
iajs-2377	241	3	fundamental	fundamental	ADJ
iajs-2377	241	4	properties	property	NOUN
iajs-2377	241	5	and	and	CCONJ
iajs-2377	241	6	its	its	PRON
iajs-2377	241	7	applications	application	NOUN
iajs-2377	241	8	.	.	PUNCT
iajs-2377	242	1	ibn	ibn	PROPN
iajs-2377	242	2	alhaitham	alhaitham	PROPN
iajs-2377	242	3	journal	journal	NOUN
iajs-2377	242	4	for	for	ADP
iajs-2377	242	5	pure	pure	ADJ
iajs-2377	242	6	and	and	CCONJ
iajs-2377	242	7	applied	apply	VERB
iajs-2377	242	8	science.2018	science.2018	PROPN
iajs-2377	242	9	,	,	PUNCT
iajs-2377	242	10	31	31	NUM
iajs-2377	242	11	,	,	PUNCT
iajs-2377	242	12	1	1	NUM
iajs-2377	242	13	,	,	PUNCT
iajs-2377	242	14	151163	151163	NUM
iajs-2377	242	15	.	.	PUNCT