SZS status Theorem for i/f/toto/NOT__EQ__LESS__IMP
