Pythagorean theorem : Leonardo da Vinci