Rop 387 Div prover