[see also: give, furnish, offer, provide, yield]
This equation supplies the key to the proof of Theorem 2.
It is obvious that the above theorem supplies an algorithm to effectively recognize whether $SP$ is in $A$.
The statement does appear in [3] but there is a simple gap in the sketch of proof supplied.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z