Частичный след сепарабельной смеси

Убедитесь, что частичный след сепарабельного состояния даёт следующий результат:

$$\operatorname{Tr}_{B}\left\{ \sum_{z}p_{Z}(z)\rho_{A}^{z}\otimes\sigma _{B}^{z}\right\} =\sum_{z}p_{Z}(z)\rho_{A}^{z}.$$