Penholodigital Square Equation

Theorem
The following equations, which include each digit from $1$ to $9$ inclusive, are the only ones of their kind: