二項余直積