https://9dok.net/document/zwvm0rj7-on-the-cardinal-product.html