założenie, teza
Jeżeli w iloczynie co najmniej dwa czynniki są kolejnymi liczbami naturalnymi, to jest on podzielny przez 2.
Teza jest zdaniem głównym, które chcemy udowodnić lub wyjaśnić. Założenie to pierwotny warunek, który musi być spełniony, aby móc skorzystać z reguły, którą teza opisuje. W tym przypadku założenie to istnienie dwóch przyległych kątów.