Lbl FACT r₁??1,r₁*FACT(r₁-1) Return