Rop 379 Div prover