No theorems yet developed for symbol IS_CONTINUOUS_RENF