https://array.pythonprogramminghelp.com/3-greatest-hacks-for-verification-lemma/