구점원의 성질, 포이어바흐 정리의 증명