CDUFD Supplementary Material I: Formal Derivation of the Electroweak Critical Point | Synapse