SZS status Theorem for i/f/primeFactor/PRIME__FACTORIZATION
