佩蒂克拉克定理是什么