>>11151687Now you've got me curious. What sort of manipulations would be allowed?
(I'm aware of the standard argument , but not of any algebraic characterizations of what is essentially an analytic fact.)
I'm assuming the following are allowed at least:
(Addition)
(Scalar multiplication)
(Shift) If then
Anything else?