https://123dok.net/document/q05j5m4x-a-simple-proof-of-valiant-s-lemma.html