SZS status Theorem for i/f/HolSmt/VALID__IFF__TRUE
