Định lý biểu diễn Birkhoff