Proofs of the volume averaging theorems for multiphase flow