I made ER diagrams with the fewest line crossings, and proved it

I was modelling the ER diagram for a new project, and it got messy quickly once I had to share it...