. "Therefore ar is a real number for any positive real number a and any rational number r." . . .