SZS status Theorem for i/f/primeFactor/PRIME__FACTOR__DIVIDES
