Punainen matto / Esimerkit / Pythagoraan lause