形式は以下の通りである.
である