SZS status Theorem for i/f/gcd/PRIME__IS__GCD
