以下の式から求められる。