założenie, teza
Jeżeli w rombie wszystkie kąty mają równe miary, to jest on kwadratem.
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.