Then ƒ is randomly testable of order deg(ƒ) + 1 over the function basis that includes just addition.
Потім ѓ випадково перевіряються замовлення deg(ƒ) + 1 за функцію основи, яка включає в себе тільки додавання.