SZS status Theorem for i/f/powser/TERMDIFF__LEMMA1
