Demonstration of Pitagoras' theorem