SZS status Theorem for i/f/poly/RSQUAREFREE__ROOTS
