added notes on what theorems from fujishige to use