This is a program to prove theorems in (eucledian) geometry