Planimetrie / Pythagorova věta. Eukleidovy věty