请证明一个定理或一个公理是否正确。