I think that one of the fundamental laws of arithmetics says that a number
is only equal to itself. This includes rational numbers (like 0.(9) and
1). This means that 1 != 0.(9) by definition. Proving this is rather
interesting (i.e. I missed that class). I believe that it can be reduced
to absurdum somehow.