Pithagorean and thales theorem