Unfortuneately, the claim that ∑ 9/(10^-1) = 1 is a "well known identity" is based on exactly the same "long-winded" proof. So, unless your proof is in two steps (which would actually make it longer than the "long-winded" one), it is based on circular reasoning
re:
