Формализация теоремы Тенненбаума и ее применениястатья