https://yaacaptain.blogspot.com/2020/08/prov6.2.html