この場合の明示的な式は以下の通り。