Y'all cowards won't even prove basic theorems with your identity in its 0.999... form.