SZS status Theorem for i/f/arithmetic/BOUNDED__FORALL__THM
