Pythagorean theorem

File produced by my friend Thijs who allowed me to put it online