Rop 397 Div prover