SZS status Theorem for i/f/finite_map/FEVERY__STRENGTHEN__THM_c1
