Appendix: Rigorous Derivation of the Exact Value of the Internal Representation Trace | Synapse