proof.v 8.52 KB