Rop 371 Div prover