  (We introduce the state superscript above to allow for a possible dependence of values on the particular quantum state the system is prepared in.) The Sum Rule and the Product Rule are straightforward consequences of FUNC [Proof].  FUNC itself is not derivable from the formalism of QM, but a statistical version of it (called STAT FUNC) is  [Proof]: