SZS status Theorem for i/f/gcd/IS__GCD__UNIQUE
