Rop 372 Div prover