I think so. To be honest not 100% sure but it seems you would need a bit probability theory + understanding what graphs/hypergraphs are. So my first impression is, it is very accessible, which I would also expect from an elegant proof...