Proof is trivial! It's a simple matter of showing the contrapositive using an
orientable
Cayley graph
that forms a vector space over the
idempotent
rationals
(Hint:
invoke
Brahmagupta's theorem
)
Gimme another!