SZS status Theorem for i/f/intExtension/LESS__IMP__NOT__0
