4成分スピノルformula_32及びformula_38に対する完備性の関係式は次の通りである: