założenie, teza
Jeżeli liczba naturalna jest podzielna przez 10, to dzieli się również przez 2 i 5.
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.