Примняемые свойства:
1. (a^x1)^x2 = a^(x1*x2)
2. a^x1/a^x2 = a^(x1-x2)
3. Если a^x1 = a^x2, a>0, a не равно 1, то x1=x2
А t>0, потому что t=10^x это то же самое, что и показательная функция, где y это t, а у в этой функции принимает только положительные значения.