Proving that 0.9 recurring is 1