fixed diagram in lemma (in notes) 3.41; fixes #6, fixes #7, closes #8