It is impossible for fac to be non-prime and divide lst the way this algorithm is designed. Even though 4 may be a factor of lst, by the time fac = 4 is the case, lst will already have had all the 2s divided out of it, so lst wont be divisible by 4. The algorithm will short-circuit and iterate on fac.
It is impossible for
facto be non-prime and dividelstthe way this algorithm is designed. Even though 4 may be a factor oflst, by the timefac = 4is the case,lstwill already have had all the 2s divided out of it, so lst wont be divisible by 4. The algorithm will short-circuit and iterate onfac.