難度不大，嚴(yán)謹(jǐn)證明需要證明充分性與必要性。