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.
In a slightly more formal manner, one could state that, if everybody consumes something, then any individual can act as a witness confirming the theorem's correctness.