lim ReciPrime = 0 by LimId, RecSub, SEQ_4:17;