Solution Algorithm Cannot Reduce Residual Formula