Let us consider this initial input construction (you may freely edit the construction or upload one as well; only the visible points will be observed; also you can load an example: Thales' circle theorem (or a variant), regular hexagon, 9 points circle, 7 circles; or start something new) :
Select relations to check:
The following theorems can be proven: