Some Theorems for Partially Balanced Designs