シェファー列が二項型となるための必要十分条件は、