Proofs of some fundamental formulas of stereology for non-poissoh grain models