Định lý cartan A và B