Actually, you can make a more general statement with a function f(x,y) = (w,z), where the proof allows you to verify that this expression is valid for an undisclosed x or/and an undisclosed w