a proof of pythagorean theorem (thanks sonom)