I
n
d
on
e
s
ian
Jou
r
n
al
o
f
E
lec
t
r
ica
l
E
n
gin
e
e
r
in
g
a
n
d
Com
p
u
t
e
r
S
c
ience
Vo
l
.
25
,
N
o
.
1
,
J
a
n
ua
r
y
2022
,
pp.
540
~
549
I
S
S
N:
2502
-
4752,
DO
I
:
10
.
11591/i
j
e
e
c
s
.
v
25
.i
1
.
pp540
-
549
540
Jou
r
n
al
h
o
m
e
page
:
ht
tp:
//
ij
e
e
c
s
.
iaes
c
or
e
.
c
om
F
ix
e
d
p
oi
n
t
t
h
e
or
e
m
b
e
t
w
e
e
n
c
on
e
m
e
t
r
ic
sp
ac
e
an
d
q
u
as
i
-
c
on
e
m
e
t
r
ic
sp
ac
e
Abd
u
l
l
ah
A
l
-
Yaa
r
i
1
,
2
,
Ham
z
ah
S
ak
id
in
1
,
Yous
if
Al
you
s
i
f
i
3
,
Qas
e
m
Al
-
T
as
h
i
4
,
5
1
D
e
pa
r
tm
e
nt
of
F
unda
me
n
ta
l
a
nd A
ppl
ie
d S
c
i
e
n
c
e
s
, U
ni
ve
r
s
it
i
T
e
kn
o
l
o
gi
P
E
T
R
O
N
A
S
, S
e
r
i
I
s
ka
nda
r
, M
a
la
y
s
ia
2
D
e
pa
r
tm
e
nt
of
M
a
th
e
ma
ti
c
s
, F
a
c
ul
t
y
of
E
du
c
a
ti
o
n,
T
ha
ma
r
U
n
iv
e
r
s
it
y
, D
ha
ma
r
, Y
e
me
n
3
D
e
pa
r
tm
e
nt
of
M
a
th
e
ma
ti
c
s
, F
a
c
ul
t
y
of
A
ppl
ie
d
S
c
ie
n
c
e
,
T
ha
ma
r
U
ni
ve
r
s
it
y
, D
ha
ma
r
, Y
e
me
n
4
D
e
pa
r
tm
e
nt
of
C
o
mpu
te
r
a
nd I
n
f
o
r
ma
ti
o
n
S
c
ie
n
c
e
s
, U
ni
ve
r
s
it
i
T
e
kn
o
l
o
gi
P
E
T
R
O
N
A
S
,
S
e
r
i
I
s
ka
nda
r
, M
a
la
y
s
ia
5
F
a
c
ul
t
y
of
A
dmi
ni
s
tr
a
ti
ve
a
nd C
o
mput
e
r
S
c
ie
n
c
e
s
, U
ni
ve
r
s
it
y
of
A
lb
a
y
dha
, A
lb
a
y
dha
, Y
e
m
e
n
Ar
t
ic
l
e
I
n
f
o
AB
S
T
RA
CT
A
r
ti
c
le
h
is
tor
y
:
R
e
c
e
i
ve
d
J
u
l
28
2021
R
e
vi
s
e
d
No
v
1
,
2021
A
c
c
e
pt
e
d
N
o
v
26
,
2021
T
h
i
s
s
t
u
d
y
i
n
v
o
l
v
e
s
n
ew
n
o
t
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
o
f
m
a
p
p
i
n
g
b
e
t
w
ee
n
q
u
a
s
i
-
c
o
n
e
m
e
t
ri
c
s
s
p
ac
e
s
(
Q
C
MS
s
),
c
o
n
e
m
e
t
ri
c
s
p
ac
e
s
(C
MS
s
)
,
a
n
d
v
i
c
e
v
e
r
s
a.
T
h
e
re
l
a
t
i
o
n
b
e
t
w
e
e
n
al
l
n
o
t
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
w
e
re
t
h
o
ro
u
g
h
l
y
s
t
u
d
i
e
d
an
d
s
u
p
p
o
r
t
e
d
w
i
t
h
t
h
e
h
e
l
p
o
f
e
x
am
p
l
e
s
.
I
n
ad
d
i
t
i
o
n
,
t
h
e
s
e
n
e
w
c
o
n
t
i
n
u
i
t
i
e
s
w
e
re
c
o
m
p
are
d
w
i
t
h
v
a
ri
o
u
s
t
y
p
e
s
o
f
c
o
n
t
i
n
u
i
t
i
e
s
o
f
m
a
p
p
i
n
g
b
e
t
w
e
e
n
t
w
o
Q
CM
S
s
.
T
h
e
c
o
n
t
i
n
u
i
t
y
t
y
p
e
s
a
re
-
c
o
n
t
i
n
u
o
u
s
,
-
c
o
n
t
i
n
u
o
u
s
,
-
c
o
n
t
i
n
u
o
u
s
,
an
d
-
c
o
n
t
i
n
u
o
u
s
.
T
h
e
re
s
u
l
t
s
d
e
m
o
n
s
t
r
a
t
e
d
t
h
a
t
t
h
e
n
e
w
n
o
t
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
c
o
u
l
d
b
e
g
e
n
e
ral
i
ze
d
t
o
t
h
e
c
o
n
t
i
n
u
i
t
y
o
f
m
a
p
p
i
n
g
b
e
t
w
e
en
t
w
o
Q
CM
S
s
.
I
t
al
s
o
s
h
o
w
e
d
a
fi
x
e
d
p
o
i
n
t
fo
r
t
h
i
s
c
o
n
t
i
n
u
i
t
y
m
a
p
b
e
t
w
ee
n
a
c
o
m
p
l
e
t
e
H
au
s
d
o
rf
f
C
MS
an
d
Q
CM
S.
O
v
e
r
al
l
,
t
h
i
s
s
t
u
d
y
s
u
p
p
o
r
t
s
re
c
e
n
t
re
s
e
a
rc
h
re
s
u
l
t
s
.
K
e
y
w
o
r
d
s
:
C
o
n
e
m
e
t
r
i
c
s
pa
c
e
s
s
e
c
o
n
d
F
i
xe
d
po
i
n
t
t
h
e
or
e
m
Qua
s
i
-
c
o
ne
m
e
t
r
i
c
s
pa
c
e
s
Th
i
s
i
s
a
n
o
p
en
a
c
ces
s
a
r
t
i
c
l
e
u
n
d
e
r
t
h
e
CC
B
Y
-
SA
l
i
cen
s
e.
C
or
r
e
s
pon
din
g
A
u
th
or
:
Ab
du
ll
a
h
Al
-
Y
a
a
r
i
De
pa
r
t
m
e
n
t
o
f
F
un
d
a
m
e
n
t
a
l
a
n
d
A
pp
li
e
d
S
c
i
e
n
c
e
s
,
Uni
ve
r
s
i
t
i
T
e
k
n
o
l
o
gi
P
E
T
R
ON
A
S
32610
S
e
r
i
I
s
ka
n
da
r
,
M
a
l
a
y
s
i
a
E
-
m
a
il
:
a
b
du
l
l
a
h_20001447
@
ut
p.
e
du.
m
y
1.
I
NT
RODU
C
T
I
ON
M
o
r
e
t
h
a
n
t
wo
de
c
a
de
s
a
go
,
Hua
n
g
a
n
d
Z
h
a
n
g
h
a
d
pr
o
p
o
s
e
d
t
h
e
n
o
t
i
o
n
o
f
a
c
o
n
e
m
e
t
r
i
c
s
pa
c
e
[
1]
.
T
h
e
C
a
u
c
hy
a
n
d
c
o
nv
e
r
ge
n
t
s
e
que
n
c
e
s
a
n
d
a
f
e
w
f
i
xe
d
-
po
i
n
t
t
h
e
o
r
e
m
s
we
r
e
us
e
d
f
o
r
t
h
e
c
o
n
t
r
a
c
t
i
v
e
f
o
r
m
o
f
m
a
pp
i
ngs
i
n
c
o
ne
m
e
t
r
i
c
s
pa
c
e
s
(
C
M
S
s
)
.
T
hi
s
n
o
ti
o
n
i
s
e
x
c
i
t
i
n
g
b
e
c
a
us
e
o
f
t
h
e
u
s
ua
l
m
e
t
r
i
c
s
pa
c
e
wh
e
r
e
a
n
o
r
de
r
e
d
B
a
n
a
c
h
s
pa
c
e
s
w
i
t
c
h
e
s
to
t
h
e
r
e
a
l
n
u
m
be
r
s
.
Abb
a
s
a
n
d
J
u
n
gc
k
[
2]
h
a
v
e
s
h
o
wn
s
o
m
e
n
o
n
c
o
mm
ut
i
n
g
m
a
pp
i
ng
c
a
u
s
e
s
C
M
S
s
.
F
ur
t
h
e
r
m
o
r
e
,
s
e
v
e
r
a
l
r
e
s
e
a
r
c
h
e
r
s
h
a
ve
pr
o
v
e
d
d
i
f
f
e
r
e
n
t
c
o
n
t
r
a
c
t
i
v
e
-
t
y
pe
m
a
p
s
i
n
C
M
S
a
n
d
f
i
xe
d
po
i
n
t
s
[
3
]
-
[
8]
.
T
h
e
f
u
n
c
t
i
o
n
o
f
a
qua
s
i
-
m
e
t
r
i
c
i
s
t
o
v
e
r
i
f
y
t
h
e
t
r
i
a
n
g
l
e
d
i
s
pa
r
i
t
y
.
Ho
we
v
e
r
,
qua
s
i
-
m
e
t
r
i
c
i
s
c
o
n
s
i
de
r
e
d
a
n
a
s
ymm
e
t
r
i
c
m
e
t
r
i
c
.
As
c
o
m
pa
r
e
d
t
o
m
e
t
r
i
c
s
p
a
c
e
,
qua
s
i
-
m
e
t
r
i
c
s
pa
c
e
(
QM
S
)
i
s
m
o
r
e
i
nc
l
u
s
i
ve
.
I
t
i
s
a
l
s
o
a
to
pi
c
o
f
e
xh
a
us
t
i
v
e
r
e
s
e
a
r
c
h
i
n
c
o
m
put
e
r
s
c
i
e
n
c
e
a
n
d
t
h
e
f
r
a
m
e
wo
r
k
f
o
r
to
p
o
l
o
g
y
.
F
o
r
i
ns
t
a
n
c
e
,
a
qua
s
i
-
c
o
ne
m
e
t
r
i
c
s
pa
c
e
(
QC
M
S
)
de
f
i
ni
t
i
o
n
e
x
p
a
n
d
s
t
o
t
h
e
QM
S
g
i
ve
n
by
T
ur
ko
gl
u
a
n
d
Ab
u
lo
h
a
[
3]
.
M
o
r
a
l
e
s
a
n
d
R
o
j
a
s
h
a
v
e
i
n
t
r
o
duc
e
d
t
h
e
c
o
n
t
i
n
u
i
t
y
o
f
m
a
pp
i
ng
b
e
t
we
e
n
C
M
S
(
,
)
,
a
c
o
n
e
a
l
o
n
g
w
i
t
h
c
o
n
s
t
a
n
t
a
n
d
:
⟶
a
n
d
i
t
s
e
l
f
[
4]
.
Ya
y
i
ng
e
t
al
.
i
n
t
r
o
duc
e
d
t
h
e
c
o
n
t
i
n
u
i
t
y
o
f
m
a
pp
i
ng
be
t
we
e
n
QC
M
S
(
,
)
a
n
d
i
t
s
e
l
f
[
5]
.
I
n
a
dd
i
t
i
o
n
,
a
l
t
h
o
u
gh
t
h
e
c
o
n
c
e
pt
o
f
n
o
r
m
a
li
t
y
i
n
C
M
S
s
i
s
m
o
n
u
m
e
n
t
a
l
i
n
de
v
e
l
o
p
in
g
f
i
xe
d
po
i
n
t
t
h
e
o
r
y
i
n
C
M
S
s
,
R
e
z
a
po
ur
a
n
d
Ha
ml
ba
r
a
ni
[
6]
ha
v
e
r
e
j
e
c
t
e
d
i
t
.
S
e
v
e
r
a
l
r
e
s
e
a
r
c
he
r
s
h
a
v
e
s
i
m
p
li
f
i
e
d
f
i
xe
d
po
i
n
t
s
i
n
C
M
S
s
i
n
m
a
ny
d
i
r
e
c
t
i
o
n
s
.
F
o
r
i
ns
t
a
n
c
e
,
J
a
n
ko
vi
c
e
t
al.
[
7]
s
ur
v
e
y
e
d
th
e
l
a
t
e
s
t
o
u
t
c
o
m
e
s
i
n
C
M
S
s
.
Ab
de
lj
a
w
a
d
a
n
d
K
a
r
a
p
i
na
r
[
8]
h
a
v
e
v
e
r
i
f
i
e
d
f
i
xe
d
po
i
n
t
t
h
e
o
r
e
m
s
i
n
Q
C
M
S
s
.
T
h
e
y
i
n
t
r
o
duc
e
d
m
a
ny
C
a
uc
hy
s
e
que
n
c
e
s
i
n
QC
M
S
s
,
whi
c
h
a
r
e
s
t
udi
e
d
a
s
a
n
e
x
t
e
ns
i
o
n
o
f
t
h
e
B
a
n
a
c
h
c
o
n
t
r
a
c
t
i
o
n
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
I
S
S
N:
2502
-
4752
F
ixe
d
point
theor
e
m
be
t
w
e
e
n
c
one
me
tr
ic
s
pac
e
an
d
quas
i
-
c
one
me
tr
ic
s
pac
e
(
A
bdull
ah
A
l
-
Y
aar
i)
541
m
a
pp
i
ng
a
n
d
ot
h
e
r
a
r
e
a
s
.
Ya
y
i
ng
e
t
al
.
[
9
]
h
a
v
e
de
f
i
ne
d
a
r
i
t
hm
e
t
i
c
-
c
o
n
t
i
n
u
i
t
y
a
n
d
a
r
i
t
hm
e
t
i
c
-
c
o
n
t
i
n
u
i
t
y
b
a
s
e
d
o
n
t
h
e
n
o
t
i
o
n
s
o
f
f
o
r
wa
r
d
a
n
d
b
a
c
k
wa
r
d
a
r
i
t
hm
e
t
i
c
c
o
nv
e
r
ge
n
c
e
i
n
a
s
ymm
e
t
r
i
c
m
e
t
r
i
c
s
pa
c
e
s
.
Al
s
o
,
t
h
e
y
h
a
v
e
pr
o
v
e
n
s
o
m
e
i
n
t
e
r
e
s
t
i
n
g
r
e
s
u
l
t
s
.
F
o
r
f
u
n
c
t
i
o
n
s
b
e
t
we
e
n
(
M
S
s
)
,
(
C
M
S
s
)
a
n
d
(
QC
M
S
s
)
a
n
d
t
h
e
m
s
e
l
ve
s
,
m
a
ny
c
o
n
t
i
n
u
i
t
y
i
d
e
a
s
h
a
ve
b
e
e
n
e
s
t
a
bli
s
he
d
[4
]
,
[
5]
.
T
h
e
c
o
n
t
i
n
u
i
t
y
f
u
n
c
t
i
o
n
b
e
t
we
e
n
(
QC
M
S
s
)
a
n
d
(
C
M
S
s
)
a
n
d
vi
c
e
v
e
r
s
a
,
h
o
we
v
e
r
,
h
a
s
y
e
t
to
b
e
i
m
p
l
e
m
e
n
t
e
d.
A
s
a
r
e
s
u
l
t
,
we
h
a
v
e
i
nt
r
o
duc
e
d
t
h
e
s
e
de
f
i
n
i
t
i
o
ns
a
n
d
l
o
o
ke
d
a
t
h
o
w
t
h
e
y
r
e
l
a
t
e
to
o
n
e
a
n
o
t
h
e
r
.
Our
i
d
e
a
s
a
r
e
ba
s
e
d
o
n
t
h
e
c
o
n
t
i
n
u
a
ti
o
n
o
f
a
f
u
nc
t
i
o
n
m
a
pp
i
n
g
b
e
t
we
e
n
t
wo
(
M
S
s
)
,
a
f
u
n
c
t
i
o
n
m
a
pp
i
ng
b
e
t
we
e
n
t
wo
(
C
M
S
s
)
,
a
n
d
a
f
u
n
c
t
i
o
n
m
a
p
p
i
n
g
b
e
t
we
e
n
t
wo
(
QC
M
S
s
)
.
T
h
e
r
e
h
a
v
e
b
e
e
n
nu
m
e
r
o
us
f
i
xe
d
-
po
i
n
t
t
h
e
o
r
e
m
s
pr
e
s
e
n
t
e
d
be
t
we
e
n
(
M
S
s
)
a
nd
t
h
e
m
s
e
l
ve
s
,
(
C
M
S
s
)
a
n
d
t
h
e
m
s
e
l
ve
s
,
a
n
d
(
QC
M
S
s
)
a
n
d
t
h
e
m
s
e
l
ve
s
[1
]
,
[
8]
.
W
e
l
o
o
ke
d
a
t
pr
i
o
r
r
e
s
ul
t
s
o
f
a
f
i
xe
d
-
po
i
n
t
to
i
n
t
r
o
duc
e
a
f
i
xe
d
po
i
n
t
i
n
a
f
u
n
c
t
i
o
n
m
a
pp
i
ng
be
t
we
e
n
(
C
M
S
s
)
a
n
d
(
QC
M
S
s
)
.
T
hi
s
pa
pe
r
i
n
t
r
o
duc
e
s
n
e
w
n
o
t
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
o
f
m
a
pp
i
ng,
s
o
m
e
t
h
e
o
r
e
m
s
,
a
n
d
pr
o
p
o
s
i
t
i
o
ns
.
I
t
c
o
m
pa
r
e
s
t
h
e
n
e
w
n
o
t
i
o
n
s
t
o
e
a
c
h
o
t
h
e
r
t
h
r
o
ugh
s
pe
c
i
f
i
c
e
xa
m
p
l
e
s
.
A
dd
i
t
i
o
n
a
ll
y
,
t
h
e
pa
pe
r
i
n
t
r
o
d
uc
e
s
t
h
e
f
i
xe
d
-
po
i
n
t
t
h
e
o
r
e
m
o
f
t
h
e
n
e
w
ly
i
n
t
r
o
duc
e
d
n
o
ti
o
n
.
T
h
e
pa
pe
r
a
l
s
o
s
uppo
r
t
s
t
h
e
r
e
s
u
l
t
s
o
f
o
t
h
e
r
r
e
c
e
n
t
r
e
s
e
a
r
c
h
w
i
t
h
t
h
e
h
e
l
p
o
f
e
x
a
m
p
l
e
s
.
F
i
na
l
ly
,
s
o
m
e
ge
n
e
r
a
l
c
o
n
c
e
pt
s
,
de
f
i
ni
t
i
o
ns
,
a
n
d
o
ut
c
o
m
e
s
a
r
e
r
e
c
a
l
l
e
d
a
n
d
a
pp
li
e
d
i
n
t
hi
s
pa
pe
r
.
T
h
i
s
s
tu
d
y
w
i
l
l
m
a
ke
a
s
i
gni
f
i
c
a
n
t
c
o
n
tr
i
b
u
t
i
o
n
to
th
e
f
i
e
l
d
o
f
m
a
ppi
n
g
c
o
n
t
i
n
u
i
t
y
a
n
d
f
i
x
e
d
-
p
o
i
n
t
th
e
or
e
m
s
.
F
i
x
e
d
p
o
i
n
t
t
h
e
or
e
m
s
a
r
e
us
e
d
to
s
o
l
v
e
pr
obl
e
m
s
i
n
e
s
t
i
m
a
t
e
t
h
e
or
y
,
ga
m
e
t
h
e
or
y
,
a
n
d
m
a
t
h
e
m
a
t
i
c
a
l
e
c
o
n
o
m
i
c
s
i
n
a
v
a
r
i
e
t
y
o
f
di
s
c
i
p
l
i
n
e
s
i
n
c
l
udi
n
g
m
a
t
h
e
m
a
t
i
c
s
,
s
t
a
t
i
s
t
i
c
s
,
c
o
m
pu
te
r
s
c
i
e
n
c
e
,
e
n
gi
n
e
e
r
i
n
g,
a
n
d
e
c
o
n
o
m
i
c
s
.
T
h
e
f
o
l
l
o
wi
n
g
i
s
h
o
w
t
h
e
r
e
s
t
o
f
t
h
e
p
a
pe
r
i
s
s
tr
u
c
tu
r
e
d
:
T
h
e
s
tu
d
y
'
s
p
r
e
l
i
m
i
na
r
y
f
i
n
di
n
gs
a
r
e
p
r
e
s
e
n
t
e
d
i
n
s
e
c
t
i
o
n
2
,
th
e
r
e
s
u
l
t
s
a
r
e
c
l
a
r
i
f
i
e
d
i
n
s
e
c
t
i
o
n
3
,
a
n
d
t
h
e
pa
pe
r
i
s
c
o
m
p
l
e
t
e
d
i
n
s
e
c
t
i
o
n
4
.
2.
P
RE
L
I
M
I
NA
RI
E
S
I
n
t
hi
s
pa
r
t
,
t
h
e
e
l
e
m
e
n
t
a
r
y
f
a
c
t
s
a
b
o
ut
t
h
e
C
M
S
s
a
n
d
Q
C
M
S
s
a
n
d
t
h
e
i
r
c
o
n
t
i
n
u
i
t
y
,
w
hi
c
h
c
a
n
be
o
b
s
e
r
v
e
d
i
n
[
1
]
,
[
10
]
-
[
26
]
,
a
r
e
gi
ve
n
i
n
a
s
h
o
r
t
e
n
e
d
f
o
r
m
.
-
De
f
i
n
i
t
i
o
n
2.
1
(
s
e
e
[
17]
)
.
T
h
e
c
o
n
e
i
s
c
o
ns
i
de
r
e
d
to
b
e
r
e
gu
l
a
r
i
f
e
a
c
h
e
x
pa
n
d
i
ng
s
e
qu
e
n
c
e
i
n
t
h
a
t
i
s
b
o
un
de
d
f
r
o
m
i
s
c
o
n
ve
r
ge
n
t
i
n
.
I
f
{
}
∈
ℕ
i
s
a
s
e
que
nc
e
s
u
c
h
t
h
a
t
,
1
≤
2
≤
·
·
·
≤
≤
·
·
·
≤
(
1)
f
o
r
a
f
e
w
∈
,
t
h
e
r
e
i
s
a
l
s
o
s
o
m
e
∈
t
h
a
t
s
a
t
i
s
f
i
e
s
‖
−
‖
⟶
0
.
A
s
(
→
∞
)
.
I
n
t
h
e
f
o
l
l
o
w
i
ng,
we
c
o
n
t
i
n
ua
ll
y
a
s
s
u
m
e
i
s
a
s
pa
c
e
o
f
B
a
n
a
c
h
,
i
s
a
c
o
n
e
.
-
De
f
i
n
i
t
i
o
n
2.
2
(
s
e
e
[
18]
)
.
A
s
s
u
m
e
i
s
a
n
o
n
e
m
pt
y
s
e
t
.
P
r
e
s
um
e
t
h
e
m
a
pp
i
ng
∶
×
⟶
a
s
s
ur
e
s
,
(
C
1)
(
,
)
≥
0
f
o
r
a
l
l
,
∈
a
n
d
(
,
)
=
0
i
f
a
n
d
o
nly
if
=
(
C
2)
(
,
)
=
(
,
)
f
o
r
a
l
l
,
∈
(
C
3)
(
,
)
≤
(
,
)
+
(
,
)
f
o
r
a
l
l
,
,
∈
t
h
e
n
,
i
s
a
c
o
n
e
m
e
t
r
i
c
o
n
,
a
n
d
(
,
)
i
s
a
C
M
S
.
-
P
r
o
p
o
s
i
t
i
o
n
2.
3
(
s
e
e
[
4]
)
.
A
s
s
u
m
e
(
,
1
)
a
n
d
(
,
2
)
a
r
e
a
C
M
S
,
a
c
o
n
e
w
i
t
h
c
o
n
s
t
a
n
t
a
n
d
:
⟶
.
T
h
e
f
o
l
l
o
w
i
ng
a
r
e
e
qu
i
v
a
l
e
n
t
,
t
h
e
m
a
p
i
s
c
o
n
t
i
n
uo
us
.
I
f
l
im
→
∞
=
,
i
m
p
l
i
e
s
t
h
a
t
l
im
→
∞
=
f
o
r
e
v
e
r
y
{
}
∈
ℕ
i
n
.
-
De
f
i
n
i
t
i
o
n
2.
4
(
s
e
e
[
24]
)
.
A
s
s
u
m
e
i
s
a
s
e
t.
P
r
e
s
u
m
e
t
h
a
t
t
h
e
m
a
pp
i
ng
:
×
→
s
a
t
i
s
f
i
e
s
t
h
e
s
ubs
e
que
n
t
,
(
Q1)
0
≤
(
,
)
f
o
r
a
l
l
,
∈
,
(
Q2)
(
,
)
=
0
i
f
a
n
d
o
nly
if
=
,
(
Q3)
(
,
)
≤
(
,
)
+
(
,
)
,
f
o
r
a
l
l
,
,
∈
.
T
h
e
n
,
i
s
kn
o
wn
a
s
a
QC
M
o
n
,
a
n
d
t
h
e
pa
i
r
(
,
)
i
s
c
a
l
led
a
QC
M
S
.
-
E
x
a
m
p
l
e
2.
5
(
s
e
e
[
25]
)
.
A
s
s
u
m
e
=
ℝ
,
=
ℝ
2
,
=
{
(
,
)
∈
:
,
≥
0
}
a
n
d
:
ℝ
×
ℝ
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
2)
,
(
,
)
=
{
(
0
,
0
)
if
=
,
(
1
,
0
)
if
>
,
(
0
,
1
)
if
<
.
(
2)
T
h
e
n
,
(
,
ℝ
)
i
s
a
QC
M
S
b
e
c
a
us
e
i
t
s
a
t
i
s
f
i
e
s
a
ll
c
o
n
d
i
t
i
o
ns
o
f
QC
M
S
,
f
o
r
a
l
l
,
,
∈
ℝ
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
S
S
N
:
2502
-
4752
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
,
Vo
l
.
25
,
N
o
.
1
,
J
a
n
ua
r
y
20
22
:
540
-
549
542
-
De
f
i
n
i
t
i
o
n
2.
6
(
s
e
e
[
27
]
)
.
A
s
e
que
n
c
e
{
}
∈
ℕ
f
o
r
wa
r
d
c
onv
e
r
ge
s
t
o
0
∈
i
f
f
o
r
e
a
c
h
∈
a
l
o
n
g
w
i
t
h
0
≪
(
i
.
e
.
,
∈
int
)
t
h
e
r
e
e
xi
s
t
s
a
n
u
m
be
r
0
t
h
a
t
s
a
t
i
s
f
i
e
s
(
0
,
)
≪
f
o
r
a
l
l
≥
0
.
W
e
i
n
d
i
c
a
t
e
i
t
t
h
r
o
ugh
→
0
.
-
De
f
i
n
i
t
i
o
n
2.
7
(
s
e
e
[
3]
)
.
A
s
e
que
n
c
e
{
}
∈
ℕ
b
a
c
kwa
r
d
j
o
i
ns
to
0
∈
i
f
f
o
r
e
a
c
h
∈
a
l
o
n
g
w
i
t
h
0
≪
(
i
.
e
.
,
∈
int
)
t
h
e
r
e
is
a
n
u
m
be
r
0
t
h
a
t
s
a
t
i
s
f
i
e
s
(
,
0
)
≪
f
o
r
a
l
l
≥
0
.
W
e
s
h
o
w
i
t
by
→
0
.
-
De
f
i
n
i
t
i
o
n
2.
8
(
s
e
e
[
5]
)
.
A
s
s
u
m
e
(
,
)
a
n
d
(
,
)
a
r
e
t
w
o
QC
M
S
s
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
∈
i
f
w
h
e
ne
v
e
r
→
i
n
(
,
)
we
h
a
ve
(
)
→
(
)
i
n
(
,
)
.
-
De
f
i
n
i
t
i
o
n
2.
9
(
s
e
e
[
5
]
)
.
A
s
s
u
m
e
(
,
)
a
n
d
(
,
)
a
r
e
t
w
o
QC
M
S
s
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
∈
i
f
w
h
e
ne
v
e
r
→
i
n
(
,
)
we
h
a
ve
(
)
→
(
)
i
n
(
,
)
.
-
De
f
i
n
i
t
i
o
n
2.
10
(
s
e
e
[
5]
)
.
A
s
s
u
m
e
(
,
)
a
n
d
(
,
)
a
r
e
t
wo
QC
M
S
s
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
∈
i
f
w
h
e
ne
v
e
r
→
i
n
(
,
)
we
h
a
v
e
(
)
→
(
)
i
n
(
,
)
.
-
De
f
i
n
i
t
i
o
n
2.
11
(
s
e
e
[
5
]
)
.
A
s
s
u
m
e
(
,
)
a
n
d
(
,
)
a
r
e
two
QC
M
S
s
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
∈
i
f
w
h
e
ne
v
e
r
→
i
n
(
,
)
we
h
a
v
e
(
)
→
(
)
i
n
(
,
)
.
-
De
f
i
n
i
t
i
o
n
2.
12
(
s
e
e
[
5]
)
.
A
s
e
t
i
s
c
o
m
pa
c
t
i
n
th
e
f
o
r
wa
r
d
s
e
que
nc
e
i
f
e
v
e
r
y
s
e
que
n
c
e
{
}
∈
ℕ
i
n
po
s
s
e
s
s
e
s
a
f
o
r
wa
r
d
c
o
n
ve
r
ge
n
t
s
ub
s
e
qu
e
n
c
e
{
}
∈
ℕ
t
o
0
∈
i
f
f
o
r
a
l
l
∈
a
l
o
n
g
w
i
t
h
0
≪
(
i
.
e
.
,
∈
int
)
t
h
e
r
e
i
s
n
u
m
be
r
0
a
s
a
r
e
s
ul
t
(
0
,
)
≪
f
o
r
a
l
l
≥
0
.
-
De
f
i
n
i
t
i
o
n
2.
13
(
s
e
e
[
5
]
)
.
A
s
e
t
i
s
c
o
m
pa
c
t
i
n
t
h
e
b
a
c
kw
a
r
d
s
e
que
n
c
e
i
f
e
v
e
r
y
s
e
que
nc
e
{
}
∈
ℕ
i
n
po
s
s
e
s
s
e
s
a
ba
c
kwa
r
d
c
o
nv
e
r
ge
n
t
s
ub
s
e
que
n
c
e
{
}
∈
ℕ
to
0
∈
i
f
f
o
r
a
l
l
∈
a
l
o
n
g
w
i
t
h
0
≪
(
i
.
e
.
,
∈
int
)
t
h
e
r
e
e
xi
s
t
s
a
n
u
m
b
e
r
0
a
s
a
r
e
s
u
l
t
(
,
0
)
≪
)
f
o
r
a
l
l
≥
0
.
-
L
e
mm
a
2.
14
(
s
e
e
[
5]
)
.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
.
T
h
e
n
→
i
f
a
n
d
o
nly
i
f
e
a
c
h
s
u
b
s
e
que
n
c
e
o
f
i
t
i
s
b
a
c
kw
a
r
d
c
o
n
v
e
r
ge
n
t
to
.
P
r
oo
f
.
S
uppo
s
e
→
.
T
h
e
n
f
o
r
∈
a
l
o
n
g
w
i
t
h
0
≪
t
h
e
r
e
e
xi
s
t
s
a
n
0
∈
ℕ
s
uc
h
t
h
a
t
(
,
)
≪
,
whi
c
h
m
e
a
ns
−
(
,
)
∈
i
n
t
f
o
r
a
l
l
≥
0
.
S
upp
o
s
e
{
}
∈
ℕ
i
s
a
r
a
n
do
m
s
u
bs
e
que
nc
e
o
f
{
}
∈
ℕ
.
I
f
≥
0
,
we
g
ot
−
(
,
)
∈
i
n
t
,
i
.
e
.
,
(
,
)
≪
.
S
o
→
.
-
L
e
mm
a
2.
15
(
s
e
e
[
5]
)
.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
.
T
h
e
n
→
i
f
a
n
d
o
nly
i
f
e
a
c
h
s
u
b
s
e
que
n
c
e
o
f
i
t
i
s
f
o
r
wa
r
d
c
o
n
v
e
r
ge
n
t
to
.
P
r
oo
f
.
S
uppo
s
e
→
.
T
h
e
n
,
f
o
r
∈
a
l
o
n
g
s
e
que
n
c
e
w
i
t
h
0
≪
th
e
r
e
e
xi
s
t
s
a
n
0
∈
ℕ
t
h
a
t
s
a
t
i
s
f
i
e
s
(
,
)
≪
,
whi
c
h
m
e
a
ns
−
(
,
)
∈
i
n
t
f
o
r
a
l
l
≥
0
.
S
upp
o
s
e
{
}
∈
ℕ
i
s
a
r
a
n
do
m
s
ubs
e
que
n
c
e
o
f
{
}
∈
ℕ
.
I
f
≥
0
,
we
g
ot
−
(
,
)
∈
i
n
t
,
i
.
e
.
,
(
,
)
≪
.
S
o
→
.
T
h
e
c
o
n
ve
r
s
e
’
pr
oo
f
i
s
e
vi
de
n
t
.
T
h
us
,
i
t
i
s
r
e
m
o
v
e
d
.
A
s
a
r
e
s
u
l
t
,
t
h
e
pr
oo
f
i
s
c
o
m
p
l
e
t
e
.
-
L
e
mm
a
2.
16
(
s
e
e
[
5]
)
.
I
f
{
}
∈
ℕ
f
o
r
wa
r
d
c
o
n
v
e
r
ge
s
t
o
∈
a
n
d
b
a
c
kwa
r
d
c
o
nv
e
r
ge
s
t
o
∈
,
i
t
m
e
a
ns
=
.
-
T
h
e
o
r
e
m
2.
17
(
s
e
e
[
5]
)
.
A
s
s
u
m
e
∶
×
→
i
s
a
QC
M
S
.
I
f
(
,
)
i
s
a
f
o
r
wa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
a
n
d
→
.
I
t
m
e
a
n
s
→
.
3.
M
AI
N
RE
S
UL
T
S
B
e
c
a
us
e
o
f
t
h
e
e
s
t
a
bli
s
h
e
d
c
o
n
c
e
pt
s
i
n
C
M
S
s
a
n
d
QC
M
S
s
[
5]
a
n
d
[
26]
,
we
i
n
t
r
o
duc
e
n
e
w
n
o
t
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
o
f
m
a
p
p
i
ng
b
e
t
we
e
n
QC
M
S
a
n
d
C
M
S
a
n
d
vi
c
e
v
e
r
s
a
.
T
h
e
r
e
l
a
t
i
o
n
b
e
t
we
e
n
a
ll
n
ot
i
o
n
s
o
f
c
o
n
t
i
n
u
i
t
y
is
t
h
o
r
o
ughl
y
s
t
ud
i
e
d
a
n
d
s
uppo
r
t
w
i
t
h
t
h
e
h
e
l
p
o
f
e
x
a
m
p
l
e
s
.
W
e
a
l
s
o
f
i
nd
a
f
i
xe
d
po
i
n
t
f
o
r
t
hi
s
c
o
n
t
i
n
u
i
t
y
m
a
p
b
e
t
we
e
n
a
c
o
m
p
l
e
t
e
Ha
us
do
r
f
f
C
M
S
a
n
d
QC
M
S
.
-
De
f
i
n
i
t
i
o
n
3.
1.
S
upp
o
s
e
(
,
)
i
s
a
QC
M
S
a
n
d
(
,
)
a
C
M
S
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
i
f
f
o
r
a
ny
s
e
que
n
c
e
{
}
∈
ℕ
i
n
b
a
c
kwa
r
d
c
o
nv
e
r
ge
s
to
a
n
e
le
m
e
n
t
i
n
(
→
as
→
∞
)
,
t
h
e
n
t
he
s
e
que
n
c
e
{
(
)
}
∈
ℕ
c
o
n
v
e
r
ge
s
to
(
)
i
n
,
(
(
(
)
,
(
)
)
→
0
as
→
∞
)
.
i
s
c
o
n
s
i
de
r
e
d
-
c
o
n
t
i
n
uo
us
i
f
i
t
i
s
-
c
o
n
t
i
n
uo
us
a
t
e
a
c
h
∈
.
-
E
x
a
m
p
l
e
3.
2.
S
upp
o
s
e
(
,
)
i
s
a
QC
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(3
)
,
(
,
)
=
{
(
−
,
(
−
)
)
,
if
≥
,
(
,
1
)
,
if
<
.
(
3)
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
I
S
S
N:
2502
-
4752
F
ixe
d
point
theor
e
m
be
t
w
e
e
n
c
one
me
tr
ic
s
pac
e
an
d
quas
i
-
c
one
me
tr
ic
s
pac
e
(
A
bdull
ah
A
l
-
Y
aar
i)
543
a
s
s
u
m
e
(
,
)
i
s
a
C
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
d
e
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
A
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
2
i
s
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
P
r
o
p
o
s
i
t
i
o
n
3.
3.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
T
h
e
n,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
nc
e
a
m
a
p
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
,
t
h
e
n
f
o
r
e
v
e
r
y
s
e
que
n
c
e
{
}
∈
ℕ
i
n
(
,
)
t
h
a
t
b
a
c
kwa
r
d
c
o
n
v
e
r
ge
s
t
o
a
n
e
l
e
m
e
n
t
i
n
(
,
)
,
i
.
e
.
,
(
,
)
⟶
0
a
s
→
∞
,
we
h
a
v
e
a
s
e
qu
e
n
c
e
{
(
)
}
∈
ℕ
t
h
a
t
c
o
n
v
e
r
ge
s
t
o
(
)
i
n
(
,
)
,
i
.
e
.
,
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
wh
e
r
e
e
v
e
r
y
C
M
S
i
s
QC
M
S
a
n
d
(
(
)
,
(
)
)
=
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
t
h
us
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
R
e
m
a
r
k
3.
4.
E
v
e
r
y
-
c
o
n
t
i
n
uo
us
(
o
r
-
c
o
n
t
i
n
uo
us
)
i
s
n
o
t
a
l
wa
y
s
t
h
e
c
a
s
e
-
c
o
n
t
i
n
uo
us
a
s
e
v
e
r
y
QC
M
S
i
s
n
o
t
a
l
wa
y
s
C
M
S
.
-
De
f
i
n
i
t
i
o
n
3.
5.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
a
n
d
(
,
)
a
C
M
S
.
A
m
a
p
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
i
f
f
o
r
a
ny
s
e
que
nc
e
{
}
∈
ℕ
i
n
f
o
r
wa
r
d
c
o
n
v
e
r
ge
s
t
o
a
n
e
l
e
m
e
n
t
i
n
(
→
as
→
∞
)
.
T
h
e
n
,
t
he
s
e
que
n
c
e
{
(
)
}
∈
ℕ
a
ppr
o
a
c
h
e
s
to
(
)
i
n
(
(
(
)
,
(
)
)
→
0
as
→
∞
)
.
i
s
c
o
n
s
i
de
r
e
d
-
c
o
n
t
i
n
uo
us
i
f
i
t
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
l
l
∈
.
-
E
x
a
m
p
l
e
3.
6.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
,
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
4)
,
(
,
)
=
{
(
−
,
(
−
)
)
,
if
≥
,
(
,
1
)
,
if
<
.
(
4
)
s
uppo
s
e
(
,
)
i
s
a
C
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
d
e
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
A
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
3
i
s
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
P
r
o
p
o
s
i
t
i
o
n
3.
7.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
T
h
e
n
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
a
m
a
p
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
nuo
us
a
t
,
t
h
e
n
f
o
r
a
l
l
s
e
qu
e
n
c
e
{
}
∈
ℕ
i
n
(
,
)
f
o
r
wa
r
d
a
ppr
o
a
c
h
e
s
to
a
n
e
l
e
m
e
n
t
i
n
(
,
)
,
i
.
e
.
,
(
,
)
⟶
0
a
s
→
∞
,
we
h
a
v
e
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
t
h
a
t
c
o
n
ve
r
ge
s
to
(
)
i
n
(
,
)
,
i
.
e
.
,
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
wh
e
r
e
e
v
e
r
y
C
M
S
i
s
QC
M
S
a
n
d
(
(
)
,
(
)
)
=
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
t
h
us
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
Re
m
a
r
k
3.
8
.
E
v
e
r
y
-
c
o
n
t
i
n
uo
us
(
or
-
c
o
n
t
i
n
uo
us
)
i
s
n
ot
a
l
wa
y
s
t
h
e
c
a
s
e
-
c
o
n
t
i
n
uo
us
a
s
e
v
e
r
y
QC
M
S
i
s
n
o
t
C
M
S
.
-
T
h
e
o
r
e
m
3.
9.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
n
,
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
,
a
ny
s
e
que
nc
e
{
}
∈
ℕ
i
n
b
a
c
kwa
r
d
c
o
nv
e
r
ge
s
t
o
∈
.
T
h
e
n
,
t
h
e
s
e
que
n
c
e
{
(
)
}
∈
ℕ
a
ppr
o
a
c
h
e
s
t
o
(
)
∈
.
I
n
ot
h
e
r
w
o
r
ds
,
→
⟹
(
)
→
(
)
a
s
→
∞
,
wh
e
r
e
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
,
t
h
e
s
e
que
n
c
e
{
}
∈
ℕ
po
s
s
e
s
s
e
s
a
f
o
r
wa
r
d
c
o
n
v
e
r
ge
n
t
s
ubs
e
q
ue
n
c
e
i
n
s
a
y
→
by
L
e
mm
a
2.
15,
s
o
→
∈
.
S
i
n
c
e
→
∈
a
n
d
→
∈
by
L
e
mm
a
2.
16,
s
ub
s
e
qu
e
n
t
l
y
=
.
T
h
us
,
→
.
S
i
n
c
e
(
)
→
(
)
wh
e
n
e
v
e
r
→
a
s
→
∞
,
s
o
(
)
→
(
)
wh
e
ne
v
e
r
→
a
s
→
∞
.
T
h
e
n
,
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
-
E
x
a
m
p
l
e
3.
10.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
5)
,
(
,
)
=
{
(
0
,
0
)
if
≥
,
(
,
)
if
<
.
(
5
)
As
s
u
m
e
(
,
)
i
s
a
C
M
S
whe
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
d
e
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
A
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
4
i
s
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
L
e
mm
a
3.
11.
A
s
s
u
m
e
:
×
→
i
s
a
QC
M
.
I
f
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
a
n
d
→
.
T
h
e
n
→
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
S
S
N
:
2502
-
4752
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
,
Vo
l
.
25
,
N
o
.
1
,
J
a
n
ua
r
y
20
22
:
540
-
549
544
P
r
oo
f
.
As
s
u
m
e
{
}
∈
ℕ
i
s
a
s
e
que
nc
e
s
o
→
f
o
r
a
f
e
w
∈
.
V
i
a
t
h
e
ba
c
kwa
r
d
s
e
que
n
t
i
a
l
l
y
c
o
m
pa
c
t
ne
s
s
,
t
h
e
s
e
que
n
c
e
{
}
∈
ℕ
h
a
s
a
b
a
c
kwa
r
d
c
o
n
ve
r
ge
n
t
s
ub
s
e
que
n
c
e
,
a
s
→
by
l
e
mm
a
2.
14,
s
o
,
→
.
S
i
n
c
e
→
∈
a
n
d
→
∈
,
by
L
e
mm
a
2.
16,
s
ub
s
e
que
n
t
l
y
=
.
T
h
us
,
→
.
-
T
h
e
o
r
e
m
3.
12.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
ba
c
kwa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
.
T
h
e
n
,
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
t
h
a
t
m
e
a
ns
a
ny
s
e
que
n
c
e
{
}
∈
ℕ
i
n
f
o
r
wa
r
d
c
o
n
v
e
r
ge
s
t
o
∈
.
T
h
e
n
,
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
a
ppr
o
a
c
h
e
s
to
(
)
∈
.
I
n
ot
h
e
r
w
o
r
ds
,
→
⟹
(
)
→
(
)
a
s
→
∞
,
by
L
e
mm
a
3.
11,
s
o
→
.
S
i
n
c
e
(
)
→
(
)
wh
e
n
e
v
e
r
→
a
s
→
∞
,
s
o
(
)
→
(
)
wh
e
n
e
v
e
r
→
a
s
→
∞
.
T
h
e
n
,
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
-
E
x
a
m
p
l
e
3.
13.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
6)
,
(
,
)
=
{
(
0
,
0
)
if
≥
,
(
,
)
if
<
.
(
6
)
a
s
s
u
m
e
(
,
)
i
s
a
C
M
S
w
h
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
A
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
3
i
s
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
R
e
m
a
r
ks
3.
14.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
a
n
d
{
}
∈
ℕ
a
b
a
c
kwa
r
d
c
o
n
v
e
r
ge
n
t
s
e
que
n
c
e
i
n
,
t
h
e
s
e
que
n
c
e
{
}
∈
ℕ
i
s
n
ot
a
l
wa
y
s
t
h
e
c
a
s
e
a
f
o
r
wa
r
d
c
o
n
v
e
r
ge
n
t
s
e
que
n
c
e
i
n
.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
a
n
d
{
}
∈
ℕ
a
f
o
r
wa
r
d
c
o
n
v
e
r
ge
n
t
s
e
que
n
c
e
i
n
,
t
h
e
s
e
que
nc
e
{
}
∈
ℕ
i
s
n
o
t
a
l
wa
y
s
t
h
e
c
a
s
e
a
b
a
c
kw
a
r
d
c
o
n
v
e
r
ge
n
t
s
e
que
n
c
e
i
n
.
-
C
o
r
o
l
l
a
r
y
3.
15.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
n
i
s
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
nuo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
by
–
P
r
o
p
o
s
i
t
i
o
n
3.
3,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
,
a
n
d
by
T
h
e
o
r
e
m
3.
9,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
t
h
e
n
,
by
P
r
o
p
o
s
i
t
i
o
n
3.
7,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
C
o
r
o
l
l
a
r
y
3.
16.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
n
i
s
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
nuo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
nc
e
:
⟶
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
(
,
)
i
s
b
a
c
k
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
by
P
r
o
p
o
s
i
t
i
o
n
3.
7,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
,
a
n
d
by
T
he
o
r
e
m
3.
12,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
t
h
e
n
,
by
P
r
o
p
o
s
i
t
i
o
n
3.
3,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
De
f
i
n
i
t
i
o
n
3.
17.
A
s
s
u
m
e
(
,
)
i
s
a
C
M
S
a
n
d
(
,
)
a
QC
M
S
.
A
m
a
p
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
i
f
f
o
r
a
ny
s
e
que
nc
e
{
}
∈
ℕ
i
n
(
,
)
c
o
n
v
e
r
ge
s
to
a
n
e
l
e
m
e
n
t
i
n
(
,
)
,
(
(
,
)
→
0
as
→
∞
)
.
T
h
e
n
,
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
i
n
(
,
)
b
a
c
kwa
r
d
c
o
nv
e
r
ge
s
t
o
(
)
i
n
(
,
)
(
(
)
→
(
)
as
→
∞
)
.
P
r
o
vi
d
e
d
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
e
a
c
h
∈
,
t
h
e
n
i
t
i
s
c
a
ll
e
d
∗
-
c
o
n
t
i
n
uo
us
.
-
E
x
a
m
p
l
e
3.
18.
A
s
s
u
m
e
(
,
)
i
s
a
C
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
S
upp
o
s
e
(
,
)
i
s
a
QC
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
7)
,
(
,
)
=
{
(
−
,
(
−
)
)
,
if
≥
,
(
,
1
)
,
if
<
.
(
7
)
a
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
2
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
De
f
i
n
i
t
i
o
n
3.
19.
A
s
s
u
m
e
(
,
)
i
s
a
C
M
S
a
n
d
(
,
)
a
QC
M
S
.
A
m
a
p
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
i
f
f
o
r
a
ny
s
e
que
n
c
e
{
}
∈
ℕ
i
n
(
,
)
c
o
n
ve
r
ge
s
to
a
n
e
l
e
m
e
n
t
i
n
(
,
)
(
(
,
)
→
0
as
→
∞
)
.
T
h
e
n
,
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
i
n
(
,
)
f
o
r
wa
r
d
c
o
n
ve
r
ge
s
to
(
)
i
n
(
,
)
(
(
)
→
(
)
as
→
∞
)
.
P
r
o
vi
d
e
d
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
e
a
c
h
∈
,
t
h
e
n
i
t
i
s
c
a
ll
e
d
∗
-
c
o
n
t
i
n
uo
us
.
-
E
x
a
m
p
l
e
3.
20.
A
s
s
u
m
e
(
,
)
i
s
a
C
M
S
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
,
)
=
(
|
−
|
,
|
−
|
)
.
A
s
s
u
m
e
(
,
)
i
s
a
QC
M
S
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
I
S
S
N:
2502
-
4752
F
ixe
d
point
theor
e
m
be
t
w
e
e
n
c
one
me
tr
ic
s
pac
e
an
d
quas
i
-
c
one
me
tr
ic
s
pac
e
(
A
bdull
ah
A
l
-
Y
aar
i)
545
wh
e
r
e
=
[
0
,
1
]
,
=
ℝ
2
,
∈
[
0
,
1
)
,
=
{
(
,
)
∈
ℝ
2
:
,
≥
0
}
a
n
d
:
[
0
,
1
]
×
[
0
,
1
]
⟶
ℝ
2
i
s
de
f
i
ne
d
by
(
8)
,
(
,
)
=
{
(
−
,
(
−
)
)
,
if
≥
,
(
,
1
)
,
if
<
.
(
8
)
a
m
a
p
:
[
0
,
1
]
⟶
[
0
,
1
]
de
f
i
ne
d
by
(
)
=
3
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
{
0
}
.
-
P
r
o
p
o
s
i
t
i
o
n
3.
21.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
T
h
e
n
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
a
m
a
p
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
t
h
e
n
f
o
r
e
v
e
r
y
s
e
que
nc
e
{
}
∈
ℕ
i
n
(
,
)
a
ppr
o
a
c
h
e
s
to
a
n
e
l
e
m
e
n
t
i
n
(
,
)
,
i
.
e
.
,
(
,
)
⟶
0
a
s
→
∞
,
we
h
a
v
e
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
t
h
a
t
b
a
c
kwa
r
d
a
ppr
o
a
c
h
e
s
t
o
(
)
i
n
(
,
)
,
i
.
e
.
,
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
wh
e
r
e
e
v
e
r
y
C
M
S
i
s
QC
M
S
a
n
d
(
,
)
=
(
,
)
⟶
0
a
s
→
∞
.
T
h
us
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
R
e
m
a
r
k
3.
22.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
-
c
o
n
t
i
n
uo
us
a
t
,
or
-
c
o
n
ti
nuo
us
a
t
;
t
h
e
n
,
a
m
a
p
i
s
n
o
t
∗
-
c
o
n
t
i
n
uo
us
a
t
b
e
c
a
us
e
n
o
t
e
v
e
r
y
QC
M
S
i
s
n
e
c
e
s
s
a
r
il
y
C
M
S
.
-
P
r
o
p
o
s
i
t
i
o
n
3.
23.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
T
h
e
n
a
m
a
p
is
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
a
m
a
p
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
t
h
e
n
f
o
r
a
ny
s
e
que
n
c
e
{
}
∈
ℕ
i
n
(
,
)
a
ppr
o
a
c
h
e
s
to
a
n
e
l
e
m
e
n
t
i
n
(
,
)
,
i
.
e
.
,
(
,
)
⟶
0
a
s
→
∞
,
we
h
a
v
e
a
s
e
que
n
c
e
{
(
)
}
∈
ℕ
t
h
a
t
f
o
r
wa
r
d
a
ppr
o
a
c
h
e
s
to
(
)
i
n
(
,
)
,
i
.
e
.
,
(
(
)
,
(
)
)
⟶
0
a
s
→
∞
,
wh
e
r
e
e
v
e
r
y
C
M
S
i
s
a
QC
M
S
a
n
d
(
,
)
=
(
,
)
⟶
0
a
s
→
∞
.
T
h
us
,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
T
h
e
o
r
e
m
3.
24.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
,
t
h
e
n
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
nc
e
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
e
v
e
r
y
s
e
qu
e
n
c
e
{
}
∈
ℕ
i
n
c
o
n
v
e
r
ge
s
to
∈
,
t
h
e
n
t
h
e
s
e
que
n
c
e
{
(
)
}
∈
ℕ
b
a
c
k
wa
r
d
a
ppr
o
a
c
h
e
s
t
o
(
)
∈
.
I
n
ot
h
e
r
wor
ds
,
→
⟹
(
)
→
(
)
a
s
→
∞
,
wh
e
r
e
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
s
e
que
n
c
e
{
(
)
}
∈
ℕ
ha
s
a
f
o
r
wa
r
d
c
o
n
v
e
r
ge
n
t
s
ub
s
e
que
n
c
e
i
n
s
a
y
(
)
→
(
)
by
L
e
mm
a
2.
15
,
s
o
(
)
→
(
)
∈
.
S
i
nc
e
(
)
→
(
)
∈
a
n
d
(
)
→
(
)
∈
by
L
e
mm
a
2.
16,
s
ub
s
e
que
n
t
l
y
(
)
=
(
)
.
T
h
us
,
(
)
→
(
)
.
S
i
nc
e
(
)
→
(
)
wh
e
n
e
v
e
r
→
a
s
→
∞
,
(
)
→
(
)
wh
e
n
e
v
e
r
→
a
s
→
∞
.
T
h
e
n
,
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
-
T
h
e
o
r
e
m
3.
25.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
I
f
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
n
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
t
h
e
n
a
ny
s
e
qu
e
n
c
e
{
}
∈
ℕ
i
n
c
o
n
v
e
r
ge
s
t
o
∈
,
t
h
e
n
t
h
e
s
e
que
nc
e
{
(
)
}
∈
ℕ
f
o
r
wa
r
d
a
ppr
o
a
c
h
e
s
t
o
(
)
∈
.
I
n
ot
h
e
r
wo
r
ds
,
→
⟹
(
)
→
(
)
a
s
→
∞
,
wh
e
r
e
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
,
t
h
e
s
e
que
n
c
e
{
(
)
}
∈
ℕ
h
a
s
a
b
a
c
kwa
r
d
c
o
nv
e
r
ge
n
t
s
ubs
e
que
n
c
e
i
n
s
a
y
(
)
→
(
)
by
L
e
mm
a
2.
14,
s
o
(
)
→
(
)
∈
.
S
i
nc
e
(
)
→
(
)
∈
a
n
d
(
)
→
(
)
∈
by
L
e
mm
a
2.
16,
s
ub
s
e
que
n
t
l
y
(
)
=
(
)
.
T
h
us
,
(
)
→
(
)
.
S
i
n
c
e
(
)
→
(
)
wh
e
ne
v
e
r
→
a
s
→
∞
,
s
o
(
)
→
(
)
wh
e
n
e
ve
r
→
a
s
→
∞
.
T
h
e
n
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
nc
e
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
by
P
r
o
p
o
s
i
t
i
o
n
3.
23,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
,
a
n
d
by
T
he
o
r
e
m
3.
25,
a
m
a
p
i
s
∗
-
c
o
n
t
i
n
uo
us
t
h
e
n
,
by
P
r
o
po
s
i
t
i
o
n
3.
21,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
C
o
r
o
l
l
a
r
y
3.
26.
As
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
i
f
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
l
ly
c
o
m
pa
c
t
.
T
h
e
n
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
P
r
oo
f
.
S
i
n
c
e
:
⟶
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
a
n
d
(
,
)
i
s
f
o
r
wa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
p
a
c
t
by
P
r
o
p
o
s
i
t
i
o
n
3.
21,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
,
a
n
d
by
T
he
o
r
e
m
3.
24,
a
m
a
p
i
s
∗
-
c
o
n
t
i
n
uo
us
t
h
e
n
,
by
P
r
o
p
o
s
i
t
i
o
n
3.
23,
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
a
nd
-
c
o
n
t
i
n
uo
us
a
t
.
-
C
o
r
o
l
l
a
r
y
3.
27.
A
s
s
u
m
e
:
(
,
)
⟶
(
,
)
i
s
∗
-
c
o
n
t
i
n
uo
us
a
t
,
i
f
(
,
)
i
s
b
a
c
kwa
r
d
s
e
que
n
t
i
a
ll
y
c
o
m
pa
c
t
,
t
h
e
n
a
m
a
p
i
s
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
,
-
c
o
n
t
i
n
uo
us
a
n
d
-
c
o
n
t
i
n
uo
us
a
t
.
-
L
e
mm
a
3.
28.
A
s
s
u
m
e
(
,
)
i
s
a
C
M
S
a
n
d
{
}
≥
1
a
s
e
que
n
c
e
i
n
.
A
s
s
u
m
e
t
h
e
r
e
i
s
a
n
o
r
de
r
o
f
n
o
n
-
n
e
ga
t
i
v
e
n
a
t
ur
a
l
n
u
m
be
r
s
{
}
≥
1
s
uc
h
t
h
a
t
∑
<
∞
∞
=
1
,
i
n
w
hi
c
h
(
,
+
1
)
≤
,
f
o
r
s
o
m
e
∈
,
a
n
d
f
o
r
a
l
l
∈
ℕ
.
T
h
e
n
,
t
h
e
s
e
que
n
c
e
{
}
≥
1
i
s
C
a
uc
hy
o
r
de
r
i
n
(
,
)
.
P
r
oo
f
.
F
o
r
>
,
we
ge
t,
Evaluation Warning : The document was created with Spire.PDF for Python.
I
S
S
N
:
2502
-
4752
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
,
Vo
l
.
25
,
N
o
.
1
,
J
a
n
ua
r
y
20
22
:
540
-
549
546
(
,
)
≤
(
,
+
1
)
+
(
+
1
,
+
2
)
+
⋯
+
(
−
1
,
)
≤
∑
∞
=
1
s
uppo
s
e
∈
int
a
n
d
c
h
o
o
s
e
>
0
s
uc
h
t
h
a
t
+
(
0
)
⊂
whe
r
e
,
(
0
)
=
{
∈
∶
‖
‖
<
}
s
i
nc
e
∑
<
∞
∞
=
1
,
t
h
e
r
e
e
xi
s
t
s
a
n
a
c
t
ua
l
n
u
m
be
r
0
to
t
h
e
e
xt
e
n
t
t
h
a
t
f
o
r
a
l
l
≥
0
∑
∞
=
1
∈
(
0
)
,
a
l
s
o
−
∑
∞
=
∈
(
0
)
s
i
n
c
e
+
(
0
)
i
s
o
pe
n
.
T
h
us
,
+
(
0
)
∈
int
;
t
h
a
t
i
s
−
∑
∞
=
∈
int
.
T
h
us
,
∑
∞
=
≪
f
o
r
≥
0
a
n
d
s
o
,
(
,
)
≪
c
f
o
r
>
≥
0
.
T
h
us
,
{
}
≥
1
i
s
a
C
a
uc
hy
o
r
de
r
.
-
T
h
e
o
r
e
m
3.
29.
A
s
s
u
m
e
(
,
)
i
s
a
c
o
m
p
l
e
t
e
Ha
us
do
r
f
f
C
M
S
,
(
,
)
a
QC
M
S
a
n
d
s
uppo
s
e
:
(
,
)
⟶
(
,
)
i
s
a
∗
-
c
o
n
t
i
n
uo
us
m
a
pp
i
ng.
S
upp
o
s
e
t
h
a
t
t
h
e
r
e
a
r
e
f
un
c
t
i
o
n
s
,
,
,
,
:
⟶
[
0
,
1
)
whi
c
h
s
a
t
i
s
f
y
t
h
e
f
o
l
l
o
w
i
ng
f
o
r
,
∈
,
(
1)
(
(
)
)
≤
(
)
,
(
(
)
)
≤
(
)
,
(
(
)
)
≤
(
)
,
(
(
)
)
≤
(
)
a
n
d
(
(
)
)
≤
(
)
(
2)
(
)
+
(
)
+
(
)
+
(
)
+
(
)
<
1
(
3)
(
(
)
,
(
)
)
≤
(
)
(
,
)
+
(
)
(
,
(
)
)
+
(
)
(
,
(
)
)
+
(
)
(
(
)
,
)
+
(
)
(
,
(
)
)
(
4)
(
(
)
,
(
)
)
≤
(
)
(
,
)
+
(
)
(
,
(
)
)
+
(
)
(
,
(
)
)
+
(
)
(
(
)
,
)
+
(
)
(
,
(
)
)
t
h
e
n
h
a
s
a
d
i
s
t
i
n
c
t
i
v
e
f
i
xe
d
po
i
n
t
.
P
r
oo
f
.
L
e
t
0
∈
b
e
a
r
bi
t
r
a
r
y
a
n
d
f
i
xe
d,
a
n
d
we
c
o
ns
i
de
r
t
h
e
s
e
que
n
c
e
o
f
o
r
bi
t
o
f
0
,
=
(
−
1
)
f
o
r
a
l
l
∈
ℕ
.
I
f
we
t
a
ke
=
−
1
a
n
d
=
i
n
(
4)
we
h
a
v
e
,
(
,
+
1
)
=
(
(
−
1
)
,
(
)
)
≤
(
−
1
)
(
−
1
,
)
+
(
−
1
)
(
−
1
,
(
−
1
)
)
+
(
−
1
)
(
,
(
)
)
+
(
−
1
)
(
(
−
1
)
,
)
+
(
−
1
)
(
−
1
,
(
)
)
=
(
(
−
2
)
)
(
−
1
,
)
+
(
(
−
2
)
)
(
−
1
,
)
+
(
(
−
2
)
)
(
,
+
1
)
+
(
(
−
2
)
)
(
,
)
+
(
(
−
2
)
)
(
−
1
,
+
1
)
)
≤
(
−
2
)
(
−
1
,
)
+
(
−
2
)
(
−
1
,
)
+
(
−
2
)
(
,
+
1
)
+
(
−
2
)
(
(
−
1
,
)
+
(
,
+
1
)
)
⋮
≤
(
0
)
(
−
1
,
)
+
(
0
)
(
−
1
,
)
+
(
0
)
(
,
+
1
)
+
(
0
)
(
(
−
1
,
)
+
(
,
+
1
)
)
=
(
0
)
(
−
1
,
)
+
(
0
)
(
−
1
,
)
+
(
0
)
(
,
+
1
)
+
(
0
)
(
−
1
,
)
+
(
0
)
(
,
+
1
)
=
(
(
0
)
+
(
0
)
+
(
0
)
)
(
−
1
,
)
+
(
0
)
(
,
+
1
)
+
(
0
)
(
,
+
1
)
=
(
(
0
)
+
(
0
)
+
(
0
)
)
(
−
1
,
)
+
(
(
0
)
+
(
0
)
)
(
,
+
1
)
.
s
o
,
(
,
+
1
)
−
(
(
0
)
+
(
0
)
)
(
,
+
1
)
≤
(
(
0
)
+
(
0
)
+
(
0
)
)
(
−
1
,
)
s
o
,
(
,
+
1
)
(
1
−
(
(
0
)
+
(
0
)
)
)
≤
(
(
0
)
+
(
0
)
+
(
0
)
)
(
−
1
,
)
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
I
S
S
N:
2502
-
4752
F
ixe
d
point
theor
e
m
be
t
w
e
e
n
c
one
me
tr
ic
s
pac
e
an
d
quas
i
-
c
one
me
tr
ic
s
pac
e
(
A
bdull
ah
A
l
-
Y
aar
i)
547
s
o,
(
,
+
1
)
≤
(
(
0
)
+
(
0
)
+
(
0
)
1
−
(
0
)
−
(
0
)
)
(
−
1
,
)
=
ℎ
(
−
1
,
)
≤
ℎ
2
(
−
2
,
−
1
)
⋮
≤
ℎ
(
0
,
1
)
t
h
us
,
by
L
e
mm
a
3.
28,
{
}
≥
1
i
s
C
a
uc
hy
i
n
.
B
e
c
a
us
e
o
f
c
o
m
p
l
e
t
e
n
e
s
s
o
f
a
n
d
i
s
a
∗
-
c
o
n
t
i
n
uo
us
m
a
pp
i
ng,
t
h
e
r
e
e
xi
s
t
s
∈
s
uc
h
t
h
a
t
→
a
n
d
+
1
=
(
)
→
(
)
.
F
o
r
uni
que
n
e
s
s
,
l
e
t
1
b
e
a
n
o
t
h
e
r
f
i
xe
d
po
i
n
t
o
f
,
t
h
e
n
,
(
,
1
)
=
(
(
)
,
(
1
)
)
≤
(
)
(
,
1
)
+
(
)
(
,
(
)
)
+
(
)
(
1
,
(
1
)
)
+
(
)
(
(
)
,
1
)
+
(
)
(
,
(
1
)
)
=
(
)
(
,
1
)
+
(
)
(
,
)
+
(
)
(
1
,
1
)
+
(
)
(
,
1
)
+
(
)
(
,
1
)
=
(
)
(
,
1
)
+
(
)
(
,
1
)
+
(
)
(
,
1
)
=
(
(
)
+
(
)
+
(
)
)
(
,
1
)
T
h
e
r
e
f
o
r
e
;
(
)
+
(
)
+
(
)
≥
1
,
c
o
n
tr
a
di
c
t
s
to
(
2)
.
T
h
us
,
(
,
1
)
=
0
⟹
=
1
.
-
C
o
r
o
l
l
a
r
y
3.
30.
As
s
u
m
e
(
,
)
i
s
a
c
o
m
p
l
e
t
e
Ha
us
do
r
f
f
C
M
S
,
(
,
)
a
QC
M
S
a
n
d
s
uppo
s
e
:
(
,
)
⟶
(
,
)
i
s
a
∗
-
c
o
n
t
i
n
uo
us
m
a
pp
i
ng.
S
upp
o
s
e
t
h
a
t
t
h
e
r
e
a
r
e
f
u
n
c
t
i
o
n
s
,
,
:
→
[
0
,
1
)
,
whi
c
h
gr
a
t
i
f
y
t
h
e
f
o
l
l
o
w
i
n
g
f
o
r
,
∈
,
(
(
)
)
≤
(
)
,
(
(
)
)
≤
(
)
a
n
d
(
(
)
)
≤
(
)
,
(
1)
(
)
+
2
(
)
+
2
(
)
<
1
(
2)
(
(
)
,
(
)
)
≤
(
)
(
,
)
+
(
)
(
(
,
(
)
)
+
(
,
(
)
)
)
+
(
)
(
(
(
)
,
)
+
(
,
(
)
)
)
(
3)
(
(
)
,
(
)
)
≤
(
)
(
,
)
+
(
)
(
(
,
(
)
)
+
(
,
(
)
)
)
+
(
)
(
(
(
)
,
)
+
(
,
(
)
)
)
t
h
e
n
,
h
a
s
a
uni
qu
e
f
i
xe
d
po
i
n
t
.
4.
CONC
L
USI
ON
T
hi
s
s
t
udy
wa
s
m
a
i
n
ly
c
o
n
c
e
r
n
e
d
w
i
t
h
i
n
t
r
o
duc
i
n
g
f
o
ur
n
e
w
n
o
t
i
o
ns
o
f
c
o
n
t
i
n
u
i
t
y
o
f
m
a
pp
i
ng,
s
o
m
e
t
h
e
o
r
e
m
s
a
n
d
pr
o
p
o
s
i
t
i
o
ns
c
o
m
p
a
r
i
n
g
t
h
e
s
e
n
e
w
not
i
o
n
s
t
o
e
a
c
h
ot
h
e
r
,
i
ll
us
t
r
a
t
i
n
g
t
h
e
m
w
i
t
h
s
o
m
e
e
x
a
m
p
l
e
s
.
F
ur
t
h
e
r
m
o
r
e
,
i
n
t
hi
s
pa
pe
r
,
t
h
e
f
i
xe
d
-
po
i
n
t
t
h
e
or
e
m
o
f
t
hi
s
n
e
w
ly
i
n
t
r
o
duc
e
d
n
o
t
i
o
n
h
a
s
be
e
n
i
n
t
r
o
duc
e
d.
F
ut
ur
e
r
e
s
e
a
r
c
h
c
a
n
i
nve
s
t
i
ga
t
e
a
uni
que
f
i
xe
d
po
i
nt
b
e
t
we
e
n
C
M
S
a
n
d
QC
M
S
t
o
pr
o
v
e
a
f
i
xe
d
po
i
n
t
b
e
t
we
e
n
QC
M
S
a
n
d
C
M
S
.
AC
K
NOWL
E
DGE
M
E
NT
S
A
ut
h
o
r
s
wo
ul
d
li
ke
to
t
h
a
n
k
De
pa
r
t
m
e
n
t
o
f
f
u
n
d
a
m
e
n
t
a
l
a
n
d
a
pp
li
e
d
s
c
i
e
n
c
e
,
U
ni
ve
r
s
i
t
i
T
e
k
n
o
l
o
g
i
P
E
T
R
ON
A
S
UT
P
f
o
r
t
h
e
i
r
s
uppo
r
t.
T
h
e
f
u
n
d
e
r
o
f
t
hi
s
wo
r
k
i
s
Ya
y
a
s
a
n
YU
T
P
u
n
de
r
gr
a
n
t
c
os
t
c
e
n
t
e
r
015L
C
0
-
272.
RE
F
E
R
E
NC
E
S
[
1]
L
.
G
.
H
ua
ng
a
nd
X
.
Z
ha
ng,
“
C
o
n
e
m
e
tr
i
c
s
pa
c
e
s
a
nd
f
i
x
e
d
p
o
in
t
th
e
or
e
ms
of
c
o
nt
r
a
c
ti
ve
ma
ppi
ngs
,”
J
.
M
at
h.
A
nal
.
A
ppl
.
,
vo
l.
332, no
. 2, pp. 1468
-
1476, 2007
,
d
o
i
:
10.1016/j
.j
ma
a
.2005.03.0
87
.
[
2]
M
.
A
bba
s
a
nd
G
.
J
ungc
k,
“
C
o
mm
o
n
f
i
xe
d
poi
nt
r
e
s
ul
ts
f
o
r
no
n
c
o
mm
ut
in
g
ma
ppi
ngs
w
it
ho
ut
c
o
n
ti
nui
t
y
in
c
o
n
e
me
tr
ic
s
pa
c
e
s
,”
J
.
M
at
h. A
nal
. A
pp
l.
,
vo
l.
341, n
o
. 1, pp. 416
-
420, 2008
,
d
o
i:
10.1
016/
j.
jm
a
a
.2007.09.070
.
[
3]
D
.
T
u
r
k
o
gl
u
a
nd
M
.
A
bul
o
ha
,
“
C
o
n
e
m
e
tr
i
c
s
p
a
c
e
s
a
nd
f
i
x
e
d
po
in
t
th
e
o
r
e
ms
in
di
a
m
e
tr
i
c
a
ll
y
c
o
nt
r
a
c
ti
ve
ma
ppi
ngs
,”
A
c
ta
M
at
h.
Si
n. E
ngl
. Se
r
.
, vo
l.
26, n
o
. 3, pp. 489
-
496, 2010
, d
oi
:
10.1007/s
10114
-
010
-
8019
-
5
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
S
S
N
:
2502
-
4752
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
,
Vo
l
.
25
,
N
o
.
1
,
J
a
n
ua
r
y
20
22
:
540
-
549
548
[
4]
Z
.
E
.
D
.
D
.
O
li
a
,
M
.
E
.
G
o
r
dj
i,
a
nd
D
.
E
.
B
a
gha
,
“
B
a
na
c
h
F
i
xe
d
P
o
in
t
T
h
e
or
e
m
o
n
O
r
th
o
g
o
na
l
C
o
ne
M
e
t
r
i
c
S
pa
c
e
s
,”
F
ac
ta
U
ni
v
.
Se
r
. M
at
h. I
nf
or
m
at
ic
s
, v
o
l.
35, p. 1239, 2021, d
o
i
:
10.22190/
f
u
mi
2005239e
.
[
5]
T
. Y
a
y
in
g,
B
.
H
a
z
a
r
ik
a
, a
nd
H
. C
a
ka
ll
i,
“
N
e
w
r
e
s
ul
ts
i
n qua
s
i
c
o
n
e
m
e
tr
i
c
s
pa
c
e
s
,”
J
. M
at
h. C
om
put
. Sc
i.
, vo
l.
16, n
o
. 03, pp. 4
35
-
444, 2017
,
do
i:
10.22436/j
mc
s
.016.03.13.
[
6]
S
.
R
e
z
a
p
o
ur
a
nd
R
.
H
a
ml
ba
r
a
ni
,
“
S
o
m
e
n
o
te
s
o
n
th
e
pa
pe
r
‘
C
o
n
e
m
e
tr
i
c
s
pa
c
e
s
a
nd
f
i
xe
d
p
o
in
t
th
e
or
e
ms
of
c
o
nt
r
a
c
ti
ve
ma
ppi
ngs
,”
J
. M
at
h. A
nal
. A
ppl
.
,
vo
l.
345, n
o
. 2, pp. 719
-
724, 2
008
,
do
i:
10.1016/j
.
jm
a
a
.2008.04.049
.
[
7]
S
.
J
a
nk
ov
i
ć
,
Z
.
K
a
d
e
lb
ur
g,
a
nd
S
.
R
a
de
n
ov
i
ć
,
“
O
n
c
o
n
e
m
e
tr
i
c
s
pa
c
e
s
:
a
s
ur
ve
y
,”
N
onl
in
e
ar
A
nal
.
T
he
or
y
,
M
e
th
ods
&
A
ppl
.
,
vo
l
.
74, no
. 7, pp. 2591
-
2601, 2011
, d
o
i
:1
0.1016/j
.na
.2010.12.014.
[
8]
T
.
A
bd
e
lj
a
w
a
d
a
nd
E
.
K
a
r
a
pi
na
r
,
“
Q
ua
s
ic
o
ne
m
e
tr
i
c
s
pa
c
e
s
a
nd
ge
ne
r
a
li
z
a
ti
o
ns
of
c
a
r
is
ti
ki
r
k’
s
th
e
or
e
m,”
F
ix
e
d
P
oi
nt
T
he
or
y
A
ppl
.
,
vo
l.
2009, n
o
. 1, pp. 9
-
18, 2009
,
d
o
i:
10.1155/2009/
5743
87
.
[
9]
T
.
Y
a
y
in
g,
B
.
H
a
z
a
r
ik
a
, a
nd S
.
A
. M
o
hi
uddi
n
e
, “
S
o
m
e
N
e
w
T
ype
s
of
C
o
nt
in
ui
t
y
i
n
A
s
y
mm
e
tr
ic
M
e
tr
ic
S
pa
c
e
s
,”
F
ac
ta
U
ni
v
.
Se
r
.
M
at
h. I
nf
or
m
at
ic
s
, p. 485, 2020
,
do
i:
10.22190/F
U
M
I
2002485Y
.
[
10]
M
.
A
bba
s
,
B
.
E
.
R
ho
a
de
s
,
a
nd
T
.
N
a
z
ir
,
“
C
o
m
m
o
n
f
i
xe
d
p
o
in
t
s
f
o
r
f
o
u
r
ma
ps
in
c
o
ne
m
e
t
r
i
c
s
pa
c
e
s
,”
A
ppl
.
M
at
h.
C
om
put
.
,
vo
l.
216, no
. 1, pp. 80
-
86, 2010
, d
o
i
:
10.1016/j
.a
mc
.2010.01.003.
[
11]
Q
.
Y
a
n,
J
.
Y
in
,
a
nd
T
.
W
a
ng,
“
F
i
xe
d
p
oi
nt
a
nd
c
o
mm
o
n
f
i
xe
d
p
o
in
t
th
e
o
r
e
ms
o
n
o
r
d
e
r
e
d
c
o
n
e
m
e
t
r
ic
s
pa
c
e
s
ov
e
r
B
a
na
c
h
a
lg
e
br
a
s
,”
J
. N
onl
in
e
ar
Sc
i.
A
ppl
.
, v
ol
. 9, n
o
. 4, pp. 1581
-
1589,
2016
, do
i:
10.22436/j
ns
a
.009.04.15.
[
12]
A
lt
un
a
nd
G
.
D
u
r
ma
z
,
“
S
ome
f
i
xe
d
p
o
in
t
th
e
or
e
ms
o
n
o
r
d
e
r
e
d
c
o
n
e
m
e
tr
i
c
s
pa
c
e
s
,”
R
e
nd.
de
l
C
ir
c
.
M
at
.
di
P
al
e
r
m
o
,
vo
l.
58,
no
.
2, pp. 319
-
325, 2009
, do
i
:
10.1007/s
12215
-
009
-
0026
-
y
.
[
13]
D
.
I
li
c
a
nd
V
.
R
a
koc
e
v
i
c
,
“
C
o
mm
o
n
f
i
xe
d
p
o
in
ts
f
o
r
ma
ps
o
n
c
o
n
e
me
t
r
i
c
s
pa
c
e
,”
J
.
M
at
h.
A
nal
.
A
ppl
.
,
vo
l.
341,
n
o
.
2,
pp.
876
-
882, 2008
,
do
i:
10.1016/j
.
jm
a
a
.2007.10.065
.
[
14]
D
.
I
li
ć
a
nd
V
.
R
a
ko
č
e
v
i
ć
,
“
Q
ua
s
i
-
c
o
nt
r
a
c
ti
o
n
o
n
a
c
o
ne
m
e
tr
i
c
s
pa
c
e
,”
A
ppl
.
M
at
h.
L
e
tt
.
,
vo
l.
22,
no
.
5,
pp.
728
-
731,
2009
,
do
i
:
10.1016/j
.a
ml
.2008.08.011.
[
15]
S
.
R
a
de
n
ov
i
ć
a
nd
B
.
E
.
R
h
o
a
de
s
,
“
F
i
xe
d
p
o
in
t
th
e
o
r
e
m
f
o
r
tw
o
n
o
n
-
s
e
l
f
ma
ppi
ngs
in
c
o
n
e
m
e
t
r
ic
s
pa
c
e
s
,”
C
om
put
.
M
at
h.
w
it
h
A
ppl
.
,
vo
l.
57, n
o
. 10, pp. 1701
-
1707, 2009
, d
o
i:
10.1016/j
.
c
a
m
w
a
.2009.03.058.
[
16]
N
.
S
a
di
gh
a
nd
S
.
G
h
o
ds
,
“
C
o
upl
e
d
c
o
in
c
id
e
n
c
e
p
o
in
t
in
o
r
d
e
r
e
d
c
o
ne
m
e
t
r
ic
s
pa
c
e
s
w
it
h
e
x
a
mpl
e
s
in
ga
m
e
th
e
or
y
,”
I
nt
.
J
.
N
onl
in
e
ar
A
nal
. A
ppl
.
, vo
l.
7, n
o
. 1, pp. 183
-
194, 2016
, d
o
i:
10.
22075/I
J
N
A
A
.2015.305.
[
17]
X
.
G
e
a
nd
S
.
Y
a
ng,
“
S
o
m
e
f
i
x
e
d
p
o
in
t
r
e
s
ul
ts
o
n
ge
n
e
r
a
li
z
e
d
me
tr
i
c
s
pa
c
e
s
[
J
]
,”
A
I
M
S
M
a
th
.
,
vo
l.
6,
n
o
.
2,
pp.
1769
-
1780,
2
021
,
do
i:
10.3934/M
a
th
.2021106.
[
18]
R
.
M
us
ta
f
a
,
S
.
O
m
r
a
n,
a
nd
Q
.
N
.
N
gu
y
e
n,
“
F
i
xe
d
P
o
in
t
T
h
e
o
r
y
U
s
in
g
$ψ$
C
o
nt
r
a
c
ti
v
e
M
a
ppi
ng
in
C
∗
-
A
lg
e
b
r
a
V
a
lu
e
d
B
-
M
e
tr
i
c
S
pa
c
e
,”
M
at
he
m
at
ic
s
, vo
l.
9, n
o
. 1, p. 92, 2021
, d
o
i:
10.3390/m
a
th
9010092.
[
19]
J
. F
e
r
na
nd
e
z
,
N
. M
a
lv
i
y
a
,
Z
. D
.
M
it
r
o
v
i
ć
, A
.
H
us
s
a
in
, a
nd V
. P
a
r
v
a
n
e
h, “
S
o
m
e
f
i
x
e
d
p
o
in
t
r
e
s
ul
ts
o
n N
b
-
c
o
ne
me
tr
i
c
s
pa
c
e
s
ove
r
B
a
na
c
h a
lg
e
br
a
,”
A
dv
. D
if
f
e
r
. E
quat
io
ns
, v
o
l.
2020, n
o
. 1, pp. 1
-
15, 2020
, do
i
:
10.1186/s
13662
-
020
-
02991
-
5.
[
20]
N
.
S
a
di
gh
a
nd
S
.
G
h
o
ds
,
“
C
o
upl
e
d
c
o
in
c
id
e
n
c
e
p
o
in
t
in
o
r
d
e
r
e
d
c
o
ne
m
e
t
r
ic
s
pa
c
e
s
w
it
h
e
x
a
mpl
e
s
in
ga
m
e
th
e
or
y
,”
I
nt
.
J
.
N
onl
in
e
ar
A
nal
. A
ppl
.
, vo
l.
7, n
o
. 1, pp. 183
-
194, 2016
, d
o
i:
10.
22075/i
jn
a
a
.2015.305.
[
21]
L.
-
G
.
H
ua
ng
a
nd
X
.
Z
ha
ng,
“
C
o
n
e
m
e
tr
i
c
s
pa
c
e
s
a
nd
f
i
x
e
d
p
o
in
t
th
e
or
e
ms
of
c
o
nt
r
a
c
ti
ve
ma
ppi
ngs
,”
J
.
M
at
h
.
A
nal
.
A
ppl
.
,
vo
l.
332, no
. 2, pp. 1468
-
1476, 2007
, d
o
i
:
10.1016/j
.j
ma
a
.2006.03.0
87
.
[
22]
Z
.
M
.
F
a
da
il
a
nd
S
.
M
.
A
bu
s
a
li
m,
“
T
-
R
e
i
c
h
c
o
nt
r
a
c
ti
o
n
a
nd
f
i
xe
d
p
o
in
t
r
e
s
ul
ts
in
c
o
n
e
m
e
tr
i
c
s
pa
c
e
s
w
it
h
c
-
d
is
ta
nc
e
,”
I
n
t
.
J
.
M
at
h. A
nal
.
,
vo
l.
11, n
o
. 8, pp. 397
-
405,
2017
, d
oi
:
10.12988/i
j
ma
.2017.7338
.
[
23]
S
. U
. R
e
hma
n a
nd H
.
-
X
.
L
i,
“
F
i
xe
d p
o
in
t
th
e
o
r
e
ms
i
n
f
u
z
z
y
c
one
m
e
tr
i
c
s
pa
c
e
s
,”
J
. N
onl
in
e
ar
Sc
i.
A
ppl
. J
N
SA
, v
o
l.
10, n
o
. 11
, pp.
5763
-
5769, 2017
, do
i
:1
0.22436/j
ns
a
.010.11.14.
[
24]
M
.
A
bba
s
,
A
.
R
.
K
ha
n,
a
nd
T
.
N
a
z
i
r
,
“
C
o
mm
o
n
f
i
x
e
d
p
o
in
t
of
mul
ti
v
a
lu
e
d
ma
ppi
ngs
in
o
r
d
e
r
e
d
g
e
ne
r
a
li
z
e
d
m
e
tr
i
c
s
pa
c
e
s
,”
F
il
om
at
,
vo
l.
26, n
o
. 5, pp. 1045
-
1053, 2012, d
o
i:
10.2298/
F
I
L
1205045A.
[
25]
R
.
G
e
o
r
g
e
,
H
.
A
.
N
a
bw
e
y
,
J
.
V
uj
a
ko
v
i
ć
,
R
.
R
a
ja
go
pa
la
n,
a
nd
S
.
V
in
a
y
a
ga
m,
“
D
is
lo
c
a
t
e
d
qua
s
i
c
o
n
e
b
-
me
t
r
i
c
s
pa
c
e
ov
e
r
B
a
na
c
h
a
lg
e
br
a
a
nd
c
o
nt
r
a
c
ti
o
n p
r
in
c
ip
l
e
s
w
it
h a
ppl
i
c
a
ti
o
n t
o
f
un
c
ti
o
na
l
e
qua
ti
o
ns
,”
O
pe
n M
at
h.
,
vo
l.
17,
n
o
. 1, pp.
1065
-
1081, 2019
,
do
i:
10.1515/m
a
th
-
2019
-
0086.
[
26]
T
.
A
bd
e
lj
a
w
a
d
a
nd
E
.
K
a
r
a
pi
na
r
,
“
Q
ua
s
ic
o
n
e
m
e
t
r
i
c
s
pa
c
e
s
a
nd
ge
n
e
r
a
li
z
a
ti
o
ns
of
C
a
r
is
ti
K
ir
k
’
s
th
e
o
r
e
m,”
F
ix
e
d
P
oi
nt
T
h
e
or
y
A
ppl
.
,
vo
l.
2009, pp. 1
-
9, 2009
, d
o
i:
10.1155/2009/
574387
.
[
27]
K
.
A
b
o
da
y
e
h,
T
.
Q
a
w
a
s
me
h,
W
.
S
ha
ta
na
w
i,
a
nd
A
.
T
a
ll
a
f
ha
,
“
Ε
ϕ
-
C
o
nt
r
a
c
ti
o
n
a
nd
S
o
m
e
F
i
xe
d
P
o
in
t
R
e
s
ul
ts
V
ia
M
o
di
f
i
e
d
Ω
-
D
is
ta
nc
e
M
a
ppi
ngs
in
th
e
F
r
a
me
of
C
o
m
pl
e
t
e
Q
ua
s
i
M
e
tr
ic
S
pa
c
e
s
a
nd
A
ppl
ic
a
ti
o
ns
,”
I
nt
e
r
nat
io
nal
J
our
nal
o
f
E
le
c
t
r
ic
al
and
C
om
put
e
r
E
ngi
ne
e
r
in
g (
I
J
E
C
E
)
, vo
l.
10, n
o
. 4, pp. 3839
-
3853,
2020
, do
i:
10.11591/i
je
c
e
.
v
10i
4.pp3839
-
3853
.
B
I
OG
RA
P
HI
E
S
OF
AU
T
HO
RS
A
bd
u
l
l
a
h
A
l
-
Y
a
a
ri
re
cei
v
ed
a
B.
Sc
.
d
eg
r
ee
i
n
Mat
h
em
at
i
c
s
(H
o
n
o
rs
)
fro
m
T
h
am
ar
U
n
i
v
e
rs
i
t
y
,
i
n
2
0
0
7
,
as
w
el
l
as
M.
Sc.
i
n
Mat
h
mat
i
c
s
fro
m
U
n
i
v
e
rs
i
t
y
K
e
b
a
n
g
s
aan
Mal
a
y
s
i
a.
H
e
i
s
cu
rr
e
n
t
l
y
a
d
o
c
t
o
ral
s
t
u
s
e
n
t
at
U
n
i
v
e
rs
i
t
i
T
e
k
n
o
l
o
g
i
P
E
T
RO
N
A
S
(U
T
P)
an
d
a
n
A
c
ad
emi
c
St
aff
at
T
h
a
m
ar
U
n
i
v
e
rs
i
t
y
,
Y
emen
.
H
i
s
r
e
s
e
ar
c
h
i
n
t
e
r
e
s
t
s
l
i
e
i
n
fi
x
e
d
p
o
i
n
t
t
h
e
o
r
em
a
n
d
n
a
n
o
f
l
u
i
d
f
l
o
w
i
n
p
o
r
o
u
s
med
i
a.
H
e
c
a
n
b
e
c
o
n
t
ac
t
e
d
P
h
o
n
e
:
+
6
0
-
1
-
8
3
1
0
-
3
9
3
1
,
Fax
:
+
6
0
-
3
-
8
9
2
5
-
4
5
1
9
an
d
at
em
ai
l
:
ab
d
u
l
l
a
h
_
2
0
0
0
1
4
4
7
@
u
t
p
.
e
d
u
.
my
.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
n
do
n
e
s
i
a
n
J
E
l
e
c
E
n
g
&
C
o
m
p
S
c
i
I
S
S
N:
2502
-
4752
F
ixe
d
point
theor
e
m
be
t
w
e
e
n
c
one
me
tr
ic
s
pac
e
an
d
quas
i
-
c
one
me
tr
ic
s
pac
e
(
A
bdull
ah
A
l
-
Y
aar
i)
549
Ha
m
z
a
h
Bi
n
Sa
k
i
d
i
n
is
a
Sen
i
o
r
L
ec
t
u
r
e
r
at
U
n
i
v
e
rs
i
t
i
T
ek
n
o
l
o
g
i
P
E
T
RO
N
A
S
(U
T
P)
Se
r
i
I
s
k
an
d
ar
P
e
rak
s
i
n
c
e
S
e
p
t
em
b
e
r
2
0
1
3
.
H
i
s
re
s
e
ar
c
h
i
n
t
e
r
e
s
t
i
s
i
n
t
h
e
fi
el
d
o
f
A
p
p
l
i
e
d
Mat
h
em
at
i
c
s
an
d
m
at
h
em
at
i
c
a
l
mo
d
e
l
l
i
n
g
.
H
e
h
as
recei
v
ed
s
e
v
e
ra
l
re
s
e
ar
ch
g
ran
t
s
,
a
c
t
i
n
g
as
t
h
e
h
e
a
d
r
e
s
e
ar
c
h
e
r
o
r
c
o
-
r
e
s
e
a
rc
h
e
r
fo
r
s
o
me
r
e
s
e
ar
ch
g
ra
n
t
s
.
H
e
i
s
al
s
o
t
h
e
au
t
h
o
r
o
f
s
ev
e
ral
m
at
h
em
at
i
c
s
b
o
o
k
f
o
r
t
e
rt
i
ary
l
e
v
el
o
f
e
d
u
c
at
i
o
n
.
T
h
e
au
t
h
o
r
al
s
o
h
as
m
o
r
e
t
h
a
n
2
0
y
e
ars
o
f
e
x
p
e
ri
en
ce
t
e
a
c
h
i
n
g
i
n
s
ec
o
n
d
ar
y
a
n
d
t
e
rt
i
ar
y
l
ev
e
l
o
f
e
d
u
c
at
i
o
n
.
H
e
c
a
n
b
e
c
o
n
t
ac
t
e
d
at
em
ai
l
:
h
a
m
za
h
.
s
ak
i
d
i
n
@
u
t
p
.
ed
u
.
my
.
Y
o
u
s
i
f
A
l
y
o
u
s
i
f
i
r
e
c
e
i
v
e
d
a
B
.
Sc
.
d
e
g
re
e
i
n
M
a
t
h
e
m
a
t
i
c
s
(H
o
n
o
r
s
)
fro
m
T
h
am
ar
U
n
i
v
e
r
s
i
t
y
,
i
n
2
0
0
7
,
a
s
w
e
l
l
a
s
M.
Sc
.
an
d
Ph
D
d
e
g
re
e
s
i
n
S
t
a
t
i
s
t
i
c
s
fro
m
U
n
i
v
e
r
s
i
t
y
K
e
b
an
g
s
aan
M
al
ay
s
i
a.
H
e
i
s
c
u
rre
n
t
l
y
an
A
c
ad
e
m
i
c
S
t
a
ff
a
t
T
h
am
ar
U
n
i
v
e
r
s
i
t
y
,
Y
e
me
n
.
H
i
s
re
s
e
a
rc
h
i
n
t
e
re
s
t
s
l
i
e
i
n
s
t
a
t
i
s
t
i
c
al
m
o
d
e
l
i
n
g
an
d
ad
v
an
c
e
d
t
i
m
e
s
e
ri
e
s
an
al
y
s
i
s
an
d
s
t
o
c
h
as
t
i
c
p
r
o
c
e
s
s
u
n
d
e
r
c
l
a
s
s
i
c
an
d
Bay
e
s
i
an
a
p
p
ro
ac
h
e
s
.
H
e
c
an
b
e
c
o
n
t
ac
t
e
d
a
t
e
m
ai
l
:
y
al
y
o
u
s
i
fy
@
t
u
.
e
d
u
.
y
e
.
Q
a
s
em
A
l
-
Ta
s
h
i
i
s
cu
rr
e
n
t
l
y
a
Po
s
t
d
o
c
t
o
ra
l
F
e
l
l
o
w
at
T
h
e
U
n
i
v
e
rs
i
t
y
o
f
T
e
x
as
MD
A
n
d
e
rs
o
n
Can
ce
r
C
e
n
t
e
r,
H
o
u
s
t
o
n
,
T
e
x
as
,
U
n
i
t
e
d
St
at
e
s
.
H
e
w
as
a
R
e
s
e
ar
ch
Sci
en
t
i
s
t
at
U
n
i
v
e
rs
i
t
i
T
ek
n
o
l
o
g
i
PE
T
RO
N
A
S
.
H
e
r
ecei
v
e
d
t
h
e
B.
S
c
.
d
e
g
r
ee
i
n
s
o
ft
w
ar
e
e
n
g
i
n
ee
ri
n
g
fro
m
U
n
i
v
e
rs
i
t
i
T
e
k
n
o
l
o
g
i
Mal
a
y
s
i
a,
i
n
2
0
1
2
,
an
d
t
h
e
M.
S
c
.
d
e
g
r
ee
i
n
s
o
ft
w
ar
e
en
g
i
n
ee
ri
n
g
fro
m
U
n
i
v
e
rs
i
t
i
K
e
b
a
n
g
s
aan
Ma
l
a
y
s
i
a,
i
n
2
0
1
7
.
H
e
o
b
t
ai
n
ed
h
i
s
Ph
D
i
n
In
fo
r
m
at
i
o
n
i
n
e
ar
l
y
2
0
2
1
fro
m
U
n
i
v
e
rs
i
t
i
T
ek
n
o
l
o
g
i
PE
T
RO
N
A
S.
H
e
i
s
a
l
s
o
a
n
A
c
a
d
em
i
c
St
aff
w
i
t
h
A
l
b
a
y
d
h
a
U
n
i
v
e
rs
i
t
y
,
Y
eme
n
.
H
i
s
re
s
e
ar
ch
i
n
t
e
r
e
s
t
s
i
n
cl
u
d
e
art
i
fi
c
i
a
l
n
eu
ral
n
e
t
w
o
rk
s
,
mu
l
t
i
-
o
b
j
ec
t
i
v
e
o
p
t
i
m
i
zat
i
o
n
,
f
e
at
u
re
s
e
l
ec
t
i
o
n
,
s
w
ar
m
i
n
t
e
l
l
i
g
e
n
ce
e
v
o
l
u
t
i
o
n
ar
y
al
g
o
r
i
t
h
m
s
,
c
l
as
s
i
fi
c
at
i
o
n
a
n
d
d
at
a
an
al
y
t
i
c
s
.
H
e
i
s
a
s
e
c
t
i
o
n
e
d
i
t
o
r
fo
r
t
h
e
J
o
u
rn
al
o
f
A
p
p
l
i
e
d
A
rt
i
f
i
c
i
a
l
In
t
el
l
i
g
en
ce
(J
A
A
I
)
an
d
J
o
u
rn
a
l
o
f
I
n
f
o
r
m
at
i
o
n
T
ec
h
n
o
l
o
g
y
an
d
Co
m
p
u
t
i
n
g
(J
I
T
C)
an
d
a
r
e
v
i
ew
e
r
f
o
r
s
e
v
e
ra
l
h
i
g
h
i
m
p
a
c
t
fac
t
o
r
j
o
u
rn
al
s
s
u
c
h
as
A
rt
i
fi
c
i
a
l
In
t
el
l
i
g
en
ce
Rev
i
ew
,
t
h
e
I
E
E
E
A
C
CE
SS,
K
n
o
w
l
ed
g
e
-
Bas
e
d
S
y
s
t
em
s
,
So
ft
Co
m
p
u
t
i
n
g
,
J
o
u
r
n
al
o
f
A
m
b
i
en
t
I
n
t
e
l
l
i
g
en
ce
an
d
H
u
m
an
i
z
e
d
Co
m
p
u
t
i
n
g
,
A
p
p
l
i
e
d
S
o
ft
Co
m
p
u
t
i
n
g
,
N
eu
ro
co
m
p
u
t
i
n
g
,
A
p
p
l
i
e
d
A
rt
i
fi
ci
al
In
t
el
l
i
g
e
n
ce,
an
d
Pl
o
s
O
n
e.
H
e
c
a
n
b
e
c
o
n
t
ac
t
e
d
at
em
a
i
l
:
q
aal
@
md
an
d
e
rs
o
n
.
o
r
g
,
q
a
s
em
a
cc
2
2
@
g
m
ai
l
.
co
m
.
Evaluation Warning : The document was created with Spire.PDF for Python.