任意のformula_2につき、任意の"p" × "p"部分行列formula_3を以下の条件の下で取ることとする: