W twierdzeniu ,,Jeżeli suma cyfr liczby naturalnej dzieli się przez 9, to ta liczba jest podzielna przez 9”, założeniem jest to, że suma cyfr liczby dzieli się przez 9. P
W twierdzeniu ,,Pole rombu jest równe połowie iloczynu długości jego przekątnych”, tezą jest ,,pole rombu jest równe połowie iloczynu długości jego przekątnych”. F[MT2]
W twierdzeniu ,,Pole rombu jest równe połowie iloczynu długości jego przekątnych”, tezą jest ,,pole jest równe połowie iloczynu długości jego przekątnych”, „romb” jest już założeniem.