No theorems yet developed for symbol RF_0