Theorem 4.23 (Heilman-Lieb, 72). Assuming that:

• $G$ is $d$-regular