Proof for BaVB | ScratchStats