SZS status Theorem for i/f/primeFactor/PRIME__FACTORS__MULT
