Переклад українською з японської: 定理