eс
k
eo
i

X[2]
B[factorial.bc961]
i
X[2]
B[factorial.bc961]
ii
X[5]
N
X[5]
{t-k}
kL
i
I
kLi
B[factorial.bc961]
{t * i}
ii
K
{t % k}

n