SZS status Theorem for i/f/divides/NOT__LT__DIVIDES
