A slightly more formal way of expressing the above is to say that, if everybody drinks, then anyone can be the witness for the validity of the theorem.
A more precise way to express this is that, if everyone drinks, anyone can be a witness for the theorem's validity.