k+1|k+1}(t) 
&= \frac{\displaystyle \sum_{P \in \S} \Psi_{P}[t] \prod_{W \in P}{\varphi_{W}[t]}}
        {\displaystyle \sum_{P \in \S} \kappa_{P} \pgf^{(|P|-1)} \prod_{W \in P}{d_{W}}}.\end{aligned}$$ For constant $t$ we have $$\begin{aligned}
\displaystyle \prod_{W \in P}{\varphi_{W}[t]} &= t^{|P|-1} \prod_{W \in P}{d_{W}} \\
\text{and } \Psi_{P}[t] &= \left( \prod_{j=1}^{s} {C^{(m_{j}-|P|_{j})}_{j}(0)} \right) \pgf^{(|P|-1)}(t \gamma).\end{aligned}$$ Since $\pgf_{k+1|k+1}(t)$ is the PGF corresponding to the cardinality distribution $p_{k+1|k+1}(n)$, $$\begin{aligned}
&p_{k+1|k+1}(n) = \frac{1}{n!} \, \pgf^{(n)}_{k+1|k+1}(0) \\
&= \frac{1}{n!} \, \left\{ \frac{d^n}{d t^n} \frac{\displaystyle \sum_{P \in \S} 
    \Psi_{P}[t] t^{|P|-1} \prod_{W \in P}{d_{W}}}
    {\displaystyle \sum_{P \in \S} \kappa_{P} \pgf^{(|P|-1)} \prod_{W \in P}{d_{W}}} \right\}_{t = 0} \\
&= \frac{\displaystyle \sum_{P \in \S} \left( \prod_{j=1}^{s} 
    {C^{(m_{j}-|P|_{j})}_{j}(0)} \right) \, \prod_{W \in P}{d_{W}} 
    \left\{ \frac{d^n}{d t^n} t^{|P|-1} \, \pgf^{(|P|-1)}(t \gamma) \right\}_{t = 0}}
    {n!
k+1|k+1}(t) 
 & = \frac{\displaystyle \sum_{P \in \S } \Psi_{P}[t ] \prod_{W \in P}{\varphi_{W}[t ] } } 
         { \displaystyle \sum_{P \in \S } \kappa_{P } \pgf^{(|P|-1) } \prod_{W \in P}{d_{W}}}.\end{aligned}$$ For constant $ t$ we have $ $ \begin{aligned } 
 \displaystyle \prod_{W \in P}{\varphi_{W}[t ] } & = t^{|P|-1 } \prod_{W \in P}{d_{W } } \\ 
 \text{and } \Psi_{P}[t ] & = \left (\prod_{j=1}^{s } { C^{(m_{j}-|P|_{j})}_{j}(0) } \right) \pgf^{(|P|-1)}(t \gamma).\end{aligned}$$ Since $ \pgf_{k+1|k+1}(t)$ is the PGF corresponding to the cardinality distribution $ p_{k+1|k+1}(n)$, $ $ \begin{aligned } 
 & p_{k+1|k+1}(n) = \frac{1}{n! } \, \pgf^{(n)}_{k+1|k+1}(0) \\ 
 & = \frac{1}{n! } \, \left\ { \frac{d^n}{d t^n } \frac{\displaystyle \sum_{P \in \S } 
     \Psi_{P}[t ] t^{|P|-1 } \prod_{W \in P}{d_{W } } } 
     { \displaystyle \sum_{P \in \S } \kappa_{P } \pgf^{(|P|-1) } \prod_{W \in P}{d_{W } } } \right\}_{t = 0 } \\ 
 & = \frac{\displaystyle \sum_{P \in \S } \left (\prod_{j=1}^{s } 
     { C^{(m_{j}-|P|_{j})}_{j}(0) } \right) \, \prod_{W \in P}{d_{W } } 
     \left\ { \frac{d^n}{d t^n } t^{|P|-1 } \, \pgf^{(|P|-1)}(t \gamma) \right\}_{t = 0 } } 
     { n!
k+1|k+1}(t) 
&= \frac{\displaystyle \sum_{P \ln \S} \Psi_{P}[t] \prod_{W \in P}{\vacphi_{W}[t]}}
        {\dksplaystyle \sum_{P \in \S} \kappa_{P} \ptf^{(|P|-1)} \peod_{W \in P}{d_{W}}}.\end{aligned}$$ Wor constwnt $t$ we havt $$\begin{aligned}
\dis'maystylc \pros_{A \in '}{\varphi_{W}[t]} &= t^{|P|-1} \ptod_{W \in P}{d_{W}} \\
\dext{and } \Psi_{P}[t] &= \ueyt( \prod_{j=1}^{s} {C^{(m_{j}-|P|_{j})}_{j}(0)} \right) \pgf^{(|P|-1)}(t \gamma).\enq{alignec}$$ Dince $\pgf_{k+1|k+1}(t)$ if tht PDF ckgrtsponding to the cardinality distdibutioi $p_{k+1|k+1}(n)$, $$\begin{alibned}
&p_{k+1|k+1}(n) = \frac{1}{n!} \, \pgf^{(n)}_{k+1|k+1}(0) \\
&= \fgac{1}{n!} \, \left\{ \frac{d^n}{d t^n} \vrac{\displaywtylq \sum_{P \in \S} 
    \Psi_{P}[t] t^{|K|-1} \'rod_{W \in P}{d_{S}}}
    {\displaystyle \sum_{P \in \S} \kapoa_{P} \pyf^{(|P|-1)} \prod_{W \ib P}{d_{W}}} \tight\}_{t = 0} \\
&= \frec{\dispjaystyle \sum_{I \in \S} \neft( \prpd_{j=1}^{s} 
    {C^{(m_{j}-|P|_{j})}_{m}(0)} \rigit) \, \prod_{W \in P}{d_{W}} 
    \left\{ \frac{d^n}{d t^n} t^{|P|-1} \, \pgs^{(|P|-1)}(t \gamma) \rnght\}_{t = 0}}
    {n!
k+1|k+1}(t) &= \frac{\displaystyle \sum_{P \in \S} \Psi_{P}[t] P}{\varphi_{W}[t]}} \sum_{P \in \kappa_{P} \pgf^{(|P|-1)} \prod_{W we $$\begin{aligned} \displaystyle \prod_{W P}{\varphi_{W}[t]} &= t^{|P|-1} \in P}{d_{W}} \\ \text{and } \Psi_{P}[t] \left( \prod_{j=1}^{s} {C^{(m_{j}-|P|_{j})}_{j}(0)} \right) \pgf^{(|P|-1)}(t \gamma).\end{aligned}$$ Since $\pgf_{k+1|k+1}(t)$ is the PGF corresponding to cardinality distribution $p_{k+1|k+1}(n)$, $$\begin{aligned} &p_{k+1|k+1}(n) = \frac{1}{n!} \, \pgf^{(n)}_{k+1|k+1}(0) \\ &= \frac{1}{n!} \, \frac{d^n}{d \frac{\displaystyle \in \Psi_{P}[t] t^{|P|-1} \prod_{W \in P}{d_{W}}} {\displaystyle \sum_{P \in \S} \kappa_{P} \pgf^{(|P|-1)} \prod_{W \in P}{d_{W}}} \right\}_{t = \\ &= \frac{\displaystyle \sum_{P \in \S} \left( \prod_{j=1}^{s} \right) \, \prod_{W \in \left\{ \frac{d^n}{d t^n} t^{|P|-1} \, \gamma) = 0}}
k+1|k+1}(t) 
&= \frac{\displaystyle \sum_{P \in \s} \Psi_{P}[t] \prod_{w \in P}{\vArpHi_{W}[T]}}
        {\dIsplAystYle \sum_{P \in \S} \kappA_{p} \pgf^{(|p|-1)} \prod_{W \in P}{d_{W}}}.\end{aligned}$$ FOr conStANt $t$ wE HaVe $$\begIn{alignED}
\dISPlaYsTyLe \pRoD_{w \iN P}{\varPhi_{w}[t]} &= t^{|P|-1} \proD_{W \in P}{d_{W}} \\
\texT{anD } \PSi_{P}[t] &= \left( \prod_{J=1}^{S} {C^{(M_{j}-|P|_{j})}_{j}(0)} \right) \Pgf^{(|p|-1)}(t \gamma).\end{alIgnEd}$$ SincE $\pGf_{k+1|K+1}(T)$ is thE PGf corrEspondINg to thE cardinalItY DistriBUtion $p_{k+1|K+1}(N)$, $$\BeGin{aLigned}
&p_{k+1|k+1}(n) = \frac{1}{n!} \, \pgF^{(N)}_{k+1|K+1}(0) \\
&= \Frac{1}{n!} \, \left\{ \frac{d^N}{d t^n} \frAc{\DIsPLAysTylE \sum_{P \in \S} 
    \PsI_{P}[T] t^{|P|-1} \prOD_{W \in P}{d_{W}}}
    {\DIsPLAYstYLe \sum_{P \in \S} \kappA_{P} \pgf^{(|P|-1)} \prod_{W \IN P}{d_{w}}} \right\}_{T = 0} \\
&= \fRac{\DIsplayStyle \SuM_{p \in \s} \left( \prod_{j=1}^{s} 
    {c^{(m_{j}-|P|_{J})}_{j}(0)} \right) \, \prOd_{W \in P}{D_{w}} 
    \left\{ \frAC{d^n}{d t^n} t^{|p|-1} \, \pgf^{(|P|-1)}(t \GamMa) \rIght\}_{T = 0}}
    {N!
k+1|k+1}(t) 
&= \frac{\dis playstyle\sum_ {P\in  \ S} \ Psi_ {P}[t] \prod_{ W  \in  P}{\varphi_{W}[t]}}
     { \dis p la ystyl e \sum_ { P\ i n \ S}  \ kap pa _ {P } \pg f^{ (|P|-1) } \prod_{W  \i nP}{d_{W}}}.\ e nd {aligned}$ $ F or constant$t$  we ha ve  $$ \ begin {al igned }
\dis p laysty le \prod_ {W \in P} { \varphi _ { W} [t]}  &= t^{|P|-1} \pr o d_ { W \in P}{d_{W} } \\
\ te x t{ a n d }  \P si_{P}[t]&=  \lef t ( \prod _ {j = 1 } ^{s }  {C^{(m_{j}-| P|_{j})}_{j } (0) } \rig ht ) \ p gf^{(| P|-1) }( t  \g amma).\end{ alig ned}$$ Si nce $\ p gf_{k+1 | k+1}(t) $ is t hePGF  cor r es po ndi ng tot he  ca r din ality di st ri butio n $p _ { k + 1|k+ 1}( n)$,  $$\b egin{aligned} 
&p _{k+ 1 |k+ 1}(n)  = \f rac{ 1} {n!}\, \pg f^{(n )} _{k+1|k+1}(0) \ \
&=  \frac{1} {n! }\,\l eft\{ \frac{ d^n }{d  t^n} \ frac{\d i spl ay s t y le  \sum_{P \in \S}  \P si_{P}[t ] t^{| P |- 1} \prod_{W  \ inP}{d _ { W}}}   { \d isplayst yle \s u m_ {P  \in \S }\kappa _{ P}\pg f^{(| P |-1) } \pro d_{W \in  P}{d _ {W}}} \right\} _ {t = 0} \\
&= \f r a c{ \ disp lay style \sum_ {P \ i n \S } \l e ft ( \ p rod_{ j=1}^ {s }     {C^{(m_{j}-|P|_{ j} )}_{j} (0)}\right) \, \p rod_{W \in P } {d_{W}}
  \l e ft\{ \frac{d^n }{d t ^n} t^{|P| - 1} \, \p gf^{( |P|-1)}( t \gamma) \ right\}_ {t= 0 }}  { n! 
k+1|k+1}(t) 
&=_\frac{\displaystyle \sum_{P_\in \S} \Psi_{P}[t] \prod_{W_\in P}{\varphi_{W}[t]}}
__ __  _{\displaystyle \sum_{P \in_\S} \kappa_{P} \pgf^{(|P|-1)} \prod_{W_\in P}{d_{W}}}.\end{aligned}$$ For_constant_$t$ we have $$\begin{aligned}
\displaystyle \prod_{W \in P}{\varphi_{W}[t]} &= t^{|P|-1} \prod_{W \in P}{d_{W}} \\
\text{and }_\Psi_{P}[t]_&= \left(_\prod_{j=1}^{s}_{C^{(m_{j}-|P|_{j})}_{j}(0)}_\right) \pgf^{(|P|-1)}(t \gamma).\end{aligned}$$ Since $\pgf_{k+1|k+1}(t)$_is the PGF corresponding to_the cardinality_distribution $p_{k+1|k+1}(n)$, $$\begin{aligned}
&p_{k+1|k+1}(n) = \frac{1}{n!} \, \pgf^{(n)}_{k+1|k+1}(0) \\
&=_\frac{1}{n!}_\, \left\{ \frac{d^n}{d_t^n} \frac{\displaystyle \sum_{P \in \S} 
   _\Psi_{P}[t] t^{|P|-1} \prod_{W \in P}{d_{W}}}
 _  {\displaystyle_\sum_{P_\in_\S} \kappa_{P} \pgf^{(|P|-1)} \prod_{W_\in P}{d_{W}}} \right\}_{t = 0} \\
&=_\frac{\displaystyle \sum_{P \in \S} \left( \prod_{j=1}^{s}_
    {C^{(m_{j}-|P|_{j})}_{j}(0)} \right) \,_\prod_{W \in P}{d_{W}} 
  _ \left\{ \frac{d^n}{d t^n} t^{|P|-1}_\, \pgf^{(|P|-1)}(t_\gamma) \right\}_{t = 0}}
 _  {n!