the proposition（0）