The argument can easily be modified to yield a proof for the case of k positive.
At first glance Lemma 2 seems to yield four possible outcomes.
This finally yields f=g. [Not: “yields that f=g'']
Go to 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