SZS status Theorem for i/f/arithmetic/FORALL__NUM__THM
