[smallmancontrov]

> Lerner Symmetry Theorem

> The model assumes ... no foreign ownership of domestic assets, balanced trade

It's a magnifying glass with duct tape over the lens.

[eru]

These assumptions are sufficient to make the statement a proven theorem.

They are not necessary to work in practice.