I have recently learned about the existence of Birkhoff's HSP theorem. A Google search gives me little insight into it. Could you please tell me where I could find any kind of deeper info? Is the proof very difficult to understand? What do I need to know? And where can I find the proof?