Garfield's proof for pythagorean theorem