Add missing sg_prove_vector.3 manual page.