ここでは、armanino(1959)に従ってルールを述べる。