SZS status Theorem for i/f/primeFactor/PRIME__FACTORS__1
