SZS status Theorem for i/f/gcd/GCD__ADD__R__THM_c0
