proof of REM (REM)