Theorem: dK/dp - K_0' = 0 for K(p) = K_0 + K_0' p (Bridgman bulk-modulus linearity)

Theorem (Bridgman-linear-K-derivative canonical): for the Bridgman/Murnaghan linear bulk-modulus law K(p) = K_0 + K_0' p, dK/dp = K_0' constant identically, so dK/dp - K_0' = 0. Canonical sympy pins: p_var, K0, K0p = sp.symbols('p_var K0…