Theorem 1.5

Description : Let x be a rational number whose decimal expansion terminates. Then x can be expressed in the form p/q, where p and q are co-prime, and the prime factorisation of q is of the form 2^n*5^m, where n, m are non-negative integers.