proof.v 8.25 KB