f
i
r
s
t
n
u
m
e
r
a
l
0
1
2
3
4
5
s
e
c
o
n
d
n
u
m
e
r
a
l
0
1
2
3
o
p
e
r
a
t
i
o
n
s
u
c
c
e
s
s
o
r
i
s
z
e
r
o
?
a
d
d
i
t
i
o
n
m
u
l
t
i
p
l
i
c
a
t
i
o
n
e
x
p
o
n
e
n
t
i
a
t
i
o
n
(
λ
[
m
]
·
(
λ
[
n
]
·
(
λ
[
f
]
·
(
λ
[
x
]
·
m
[
f
]
[
n
[
f
]
[
x
]
]
)
)
)
)
[
0
]
[
3
]
λ
[
f
]
·
(
λ
[
x
]
·
f
[
f
[
f
[
x
]
]
]
)