Rop 396 Div prover