proof.v 8.42 KB