Rop 373 Div prover