If the rational number a/b has a terminating decimal expansion, what is the condition to be satisfied by b?