We elaborate, as a benchmark, a list of geometry theorems that are regularly used in Hungarian high schools, in specialized tracks for mathematics. Then, these statements are implemented as GeoGebra files, and algebraically proven (with certification) in GeoGebra Discovery. Next, these files are imported in Java Geometry Expert (JGEX), and geometrically proven with the associated Geometry Deductive Database method. In both programs, through quite different approaches in each case, we define and implement an algorithmic measure of the difficulty of a geometric theorem. Then, we compute the corresponding measures on the selected list of statements, and we analyze the obtained collection of pairs of difficulty grades, finding a moderate positive correlation (0.43) between GeoGebra Discovery's algebraic, and JGEX's deductive difficulty formulations. A correlation that seems to support the adequacy of the chosen approximation in our on-going work to algorithmically establish some ad-hoc measure of the difficulty of geometric statements that could be reasonably coincidental with the appreciation of human expert users (e.g. teachers).