założenie, teza
Jeśli trójkąt jest równoramienny, to wysokość opuszczona na bok niebędący ramieniem dzieli go na dwie równe części.
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.