SZS status Theorem for i/f/words/dimindex__lt__dimword
