Rop 378 Div prover