Cauchyho–Binetův vzorec