これらの式から、次の式