Wilson's Existence Theorem for Pairwise Balanced Designs