Update thales-theorem.intgfx