Jack Champion pythagorem theorem