No theorems yet developed for symbol RES_RECIP