Theorem: K(nu = 0) - E/3 = 0 (Hooke isotropic bulk-modulus identity at zero Poisson ratio)

Theorem (Hooke-K-zero-Poisson canonical): for isotropic linear elasticity K = E/(3(1 - 2 nu)). At nu = 0 (incompressible-like limit, simplification): K = E/3 exactly, so K - E/3 = 0 identically. Canonical sympy pins: E_, nu =…