Lbl FACT
1→R
For(I,1,r₁)
 R*I→R
End
R
Return