Rop 376 Div prover