En geometría euclideana "demostramos teoremas": partimos de algunos suposiciones y hechos aceptados ("axiomas"), y de ahí deducimos otros hechos (típicamente interesante). Por ejemplo:
Por ejemplo, todo los ángulos incritos apoyados en un diámetro son rectos.