Rop 357 Div prover