Pythagorean theorem
File produced by my friend Thijs who allowed me to put it online
Information: Pythagorean theorem