proof.v 3 KB