Existing conservative definition, reused unchanged
Parameters: p, n, s. This is the existing ND0157 identity, not a duplicate registration.
((((p) * (p))) + (((n) * (n)))) = ((s) + (((((p) * (n))) + (((n) * (p))))))The equality says that s is the natural square of the integer represented by p−n. It contains no irrationality or norm-separation claim.
Checked theorem uses: SN001 · SN002 · SN003 · RN001 · RN002.